462 search results - page 19 / 93 » Axioms for Real-Time Logics |
DLOG
2010
13 years 6 months ago
2010
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First,...
CADE
2003
Springer
14 years 9 months ago
2003
Springer
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
KR
2010
Springer
14 years 18 days ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
CSL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...