3891 search results - page 153 / 779 » A logic for strategic reasoning |
123
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
175
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
162
click to vote
DLOG
1997
15 years 7 months ago
1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...
172
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
154
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...