52 search results - page 2 / 11 » Termination for Hybrid Tableaus |
TABLEAUX
2009
Springer
13 years 11 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
IROS
2008
IEEE
13 years 11 months ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
ISSAC
2000
Springer
13 years 8 months ago
2000
Springer
CADE
2010
Springer
13 years 2 months ago
2010
Springer
x-free and employs a novel clausal form that abstracts away from propositional reasoning. It comes with an elegant correctness proof. We discuss some optimizations for decision pro...