G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Universita degli Studi di Roma \La Sapienza", 1995. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
A Modal Perspective on Path Constraints - Alechina, Demri, de Rijke (2003) (4 citations) (Correct)
The Complexity of Regularity in Grammar Logics - Demri (2001) (1 citation) (Correct)
Path Constraints from a Modal Logic Point of View (Extended.. - Alechina, al. (2001) (Correct)
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (4 citations) (Correct)
Path Constraints from a Modal Logic Point of View.. - Alechina, Demri, de.. (Correct)
Relativized Action Complement for Dynamic Logics - Broersen (Correct)
A Description Logic Model for Reacting in a Dynamic.. - Kullmann, de Beuvron.. (Correct)
Path Constraints from a Modal Logic Point of View.. - Alechina, Demri, de.. (Correct)
Mary Likes all Cats - Lutz, Sattler (2000) (Correct)
Basic Description Logics - Baader, Nutt (2003) (14 citations) (Correct)
Logic Programming: The Case of Description and Hybrid Logic - Areces (Correct)
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