134 search results - page 6 / 27 » Modal logics for mereotopological relations |
GRC
2005
IEEE
15 years 5 months ago
2005
IEEE
101
click to vote
AIML
1998
15 years 1 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
TABLEAUX
2000
Springer
15 years 3 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
ER
2007
Springer
15 years 3 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
105
click to vote
JANCL
2006
14 years 11 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...