171
Voted
TABLEAUX
15 years 7 months ago
2009 Springer 
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
100
click to vote
TABLEAUX
15 years 7 months ago
2009 Springer 
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
140
click to vote
TABLEAUX
15 years 7 months ago
2009 Springer 
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
129
click to vote
TABLEAUX
15 years 7 months ago
2009 Springer 
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
114
Voted
TABLEAUX
15 years 7 months ago
2009 Springer 
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
|
Artificial Intelligence