3891 search results - page 55 / 779 » A logic for strategic reasoning |
120
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
112
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
109
Voted
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...