Albrecht Schmiedel. A temporal terminological logic. In Proceedings of AAAI-90, 8th Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, MA, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Tableau Calculus for Temporal Description Logic: The.. - Lutz, Sturm, Wolter, al. (2001) (1 citation) (Correct)
Tableaux for Temporal Description Logic With Constant.. - Lutz, Sturm, Wolter.. (2001) (1 citation) (Correct)
A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (1 citation) (Correct)
A Tableau Calculus for Temporal Description Logics: .. - Lutz, Sturm.. (2001) (1 citation) (Correct)
A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (1 citation) (Correct)
Homogeneous Concepts in a Temporal Description Logic - Artale, Franconi, Bettini (1994) (Correct)
Hierarchical Plans in a Description Logic of Time and Action - Artale, Franconi (1995) (4 citations) (Correct)
A Survey of Temporal Extensions of Description Logics - Artale, Franconi (2000) (6 citations) (Correct)
A Computational Account for a Description Logic of Time and.. - Artale, Franconi (1994) (22 citations) (Correct)
Extending Hybridity within the YAK Knowledge Representation System - Franconi (1992) (2 citations) (Correct)
Representing a Robotic Domain Using Temporal Description Logics - Artale, Franconi (1999) (1 citation) (Correct)
Terminological Logic Involving Time and Evolution: A.. - Lambrix, Rönnquist (1993) (1 citation) (Correct)
Subsumption and Recognition of Heterogeneous Constraint Networks - Weida, Litman (1994) (9 citations) (Correct)
Dynamic Description Logics - Wolter, Zakharyaschev (2000) (3 citations) (Correct)
Temporalizing Description Logics - Wolter, Zakharyaschev (1998) (24 citations) (Correct)
A Temporal Description Logic for Reasoning about Actions and.. - Artale, Franconi (1998) (25 citations) (Correct)
Representing a Robotic Domain Using Temporal Description Logics - Artale, Franconi (1999) (1 citation) (Correct)
A Tableau Calculus for Temporal Description Logic: The.. - Sturm, Wolter (2000) (3 citations) (Correct)
Terminological Reasoning with Constraint Networks and an.. - Weida, Litman (1992) (37 citations) (Correct)
Modal Description Logics: Modalizing Roles - Wolter, Zakharyaschev (1999) (10 citations) (Correct)
Multi-Dimensional Description Logics - Wolter, Zakharyaschev (1999) (3 citations) (Correct)
Dynamic Description Logics - Wolter, Zakharyaschev (2000) (3 citations) (Correct)
Unknown - Formalization And Experimentation (Correct)
The Information Agent: Building Intelligent Information.. - Barbuceanu, Fox (Correct)
The product of converse PDL and polymodal K - Wolter (1999) (10 citations) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC