MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Description Logics and Modal Logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

ATOM

Description Logics: Modal Logics for Class-Based Modeling
by Giuseppe De Giacomo
…Description Logics: Modal Logics for Class-Based Modeling Giuseppe De Giacomo Dipartimento di…
Add To MetaCart

Modal Logics and Description Logics
by Maarten De Rijke — 1998 — Proc. DL'98
…Modal Logics and Description Logics Maarten de Rijke ILLC, University of Amsterdam Plantage…
Cited by 2 (1 self) – Add To MetaCart

Modal Logics, Description Logics and Arithmetic Reasoning
by Hans Jürgen Ohlbach, Jana Koehler — 1999 — ARTIFICIAL INTELLIGENCE
…Modal Logics, Description Logics and Arithmetic Reasoning Hans Jurgen Ohlbach Dept. of Computer…
Cited by 18 (4 self) – Add To MetaCart

Ε-connections of Description Logics
by Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev — 2003
… of description logics, modal logics, logics of time and space, and many other logical formalisms [2]. Thus, we…
Add To MetaCart

of Description Logics
by Oliver Kutz Department, Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev — 2003 — Journal of Logic and Computation
… of description logics, modal logics, logics of time and space, and many other logical formalisms [2]. Thus, we…
Add To MetaCart

Logic-based Knowledge Representation
by Franz Baader — 1996 — Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science
… of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal…
Cited by 21 (0 self) – Add To MetaCart

Tableau algorithms for econnections of description logics
by Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin — 2004
… of several families of decidable logics, including Description Logics, Modal Logics, as well as many logics…
Cited by 14 (1 self) – Add To MetaCart

Applying an ABox Consistency Tester to Modal Logic SAT Problems
by Volker Haarslev, Ralf Möller — 1999 — Proceedings, International Conference on Automatic Reasoning with Analytic
…, to modal logic SAT problems. 1 Introduction Research on description logics and modal logics tackles…
Add To MetaCart

Applying an ALC ABox consistency tester to modal logic SAT problems
by Volker Haarslev, Ralf Möller — 1999 — Proceedings, International Conference on Automatic Reasoning with Analytic
…, to modal logic SAT problems. 1 Introduction Research on description logics and modal logics tackles related…
Cited by 5 (3 self) – Add To MetaCart

Generating Hard Modal Problems for Modal Decision Procedures
by Ian Horrocks, Peter F. Patel-Schneider — 1999 — In Proc. of the First Methods for Modalities Workshop
…. Further, due to the connection between propositional modal logics and description logics, there is a…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB