74 search results - page 6 / 15 » The Complexity of Reasoning for Fragments of Autoepistemic L... |
108
click to vote
PODS
2007
ACM
16 years 1 months ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
145
click to vote
SEBD
2001
15 years 2 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 ...
122
Voted
IJCAI
2007
15 years 2 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
113
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...