1059 search results - page 60 / 212 » Standard Logics Are Valuation-Nonmonotonic |
173
click to vote
DLOG
2011
14 years 9 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
179
click to vote
DLOG
2011
14 years 9 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
144
click to vote
FUIN
2008
15 years 6 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
152
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
160
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...