2152 search results - page 34 / 431 » On Automating the Calculus of Relations |
106
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
111
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
TABLEAUX
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
60
Voted
EUSFLAT
2007
15 years 2 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
109
Voted
IJAR
2008
15 years 17 days ago
2008
One of the key strengths of the region connection calculus (RCC) -- its generality -- is also one of its most important drawbacks for practical applications. The semantics of all ...