1071 search results - page 105 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
AMAI
2008
Springer
14 years 10 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
LOGCOM
2007
14 years 9 months ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
122
click to vote
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
110
click to vote
SEBD
2001
14 years 11 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...