49 search results - page 6 / 10 » Fibring Semantic Tableaux |
126
Voted
DLOG
2004
15 years 4 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
128
click to vote
CADE
2007
Springer
16 years 3 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...
111
click to vote
LOGCOM
2010
15 years 1 months ago
2010
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 equality in ...
142
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
207
Voted
TABLEAUX
2009
Springer
15 years 10 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...