331 search results - page 26 / 67 » Quantified coalition logic |
SYNTHESE
2008
13 years 8 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
AI
2011
Springer
13 years 3 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
DLOG
2008
13 years 11 months ago
2008
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satisfiability of quantified Boolean formulas...
MLQ
2006
13 years 8 months ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...