1737 search results - page 44 / 348 » On Interpolation in Existence Logics |
160
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
156
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
140
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
161
click to vote
AAAI
2000
15 years 7 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
184
click to vote
DEON
2010
Springer
15 years 6 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...