Search the dblp DataBase

Publications of Author

1. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
   Dynamic topological logics over spaces with continuous functions. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:299-318 [Conf]
   
2. David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   On the Computational Complexity of Spatio-Temporal Logics. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2003, pp:460-464 [Conf]
   
3. Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. [Citation Graph (0, 0)][DBLP]
   TIME, 2003, pp:91-98 [Conf]
   
4. Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
   Undecidability of first-order intuitionistic and modal logics with two variables. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 2005, v:11, n:3, pp:428-0 [Journal]
   
5. Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
   Temporalising Tableaux. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2004, v:76, n:1, pp:91-134 [Journal]
   
6. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
   DL-Lite in the Light of First-Order Logic. [Citation Graph (0, 0)][DBLP]
   AAAI, 2007, pp:361-366 [Conf]
   
7. Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev
   Reasoning over Extended ER Models. [Citation Graph (0, 0)][DBLP]
   ER, 2007, pp:277-292 [Conf]
   
8. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
   Query Answering in Expressive Variants of DL-Lite. [Citation Graph (0, 0)][DBLP]
   SEBD, 2007, pp:250-257 [Conf]
   
9. Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
   Temporalising Tractable Description Logics. [Citation Graph (0, 0)][DBLP]
   TIME, 2007, pp:11-22 [Conf]
   
10. David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
    Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:167-243 [Journal]
    
11. 
    Past and Future of DL-Lite. [Citation Graph (, )][DBLP]
    
    
12. 
    Topology, connectedness, and modal logic. [Citation Graph (, )][DBLP]
    
    
13. 
    DL-Lite and Role Inclusions. [Citation Graph (, )][DBLP]
    
    
14. 
    Complexity of Reasoning in Entity Relationship Models. [Citation Graph (, )][DBLP]
    
    
15. 
    Modularity in DL-Lite. [Citation Graph (, )][DBLP]
    
    
16. 
    Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP]
    
    
17. 
    DL-Lite without UNA. [Citation Graph (, )][DBLP]
    
    
18. 
    Checking DL-Lite Modularity with QBF Solvers. [Citation Graph (, )][DBLP]
    
    
19. 
    Extending DL-Lite Sometime in the Future. [Citation Graph (, )][DBLP]
    
    
20. 
    Adding Weight to DL-Lite. [Citation Graph (, )][DBLP]
    
    
21. 
    DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. [Citation Graph (, )][DBLP]
    
    
22. 
    Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. [Citation Graph (, )][DBLP]
    
    
23. 
    Can You Tell the Difference Between DL-Lite Ontologies?. [Citation Graph (, )][DBLP]
    
    
24. 
    The Combined Approach to Query Answering in DL-Lite. [Citation Graph (, )][DBLP]
    
    
25. 
    Interpreting Topological Logics over Euclidean Spaces. [Citation Graph (, )][DBLP]
    
    
26. 
    On the Computational Complexity of Spatial Logics with Connectedness Constraints. [Citation Graph (, )][DBLP]
    
    
27. 
    Logic-based ontology comparison and module extraction, with an application to DL-Lite. [Citation Graph (, )][DBLP]
    
    
28. 
    Spatial logics with connectedness predicates [Citation Graph (, )][DBLP]