3891 search results - page 208 / 779 » A logic for strategic reasoning |
232
click to vote
DLOG
2011
14 years 10 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
194
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
246
click to vote
DLOG
2011
14 years 10 months ago
2011
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
171
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
475
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.