27 search results - page 3 / 6 » tableaux 2007 |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Consider the single-server queue with an infinite buffer and a first-in–first-out discipline,
DLOG
2007
13 years 8 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
CLIMA
2007
13 years 7 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...
CADE
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
ICLP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....