1814 search results - page 148 / 363 » Extended First-Order Logic |
132
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...
121
click to vote
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
129
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
144
Voted
CLIMA
2007
15 years 5 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
145
click to vote
DLOG
2006
15 years 4 months ago
2006
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answerin...