- Adding Weight to DL-Lite A. Artale,1
- A note on relativised products of modal logics Agi Kurucz and Michael Zakharyaschev
- On the relation between intuitionistic and classical modal logics
- Temporal logics over transitive states Boris Konev 1 , Frank Wolter 1 , and Michael Zakharyaschev 2
- Products of `transitive' modal logics without the (abstract) finite model property
- Axiomatizing the monodic fragment of rst-order temporal logic
- Comparative similarity, tree automata, and Diophantine equations
- Temporalizing description logics Frank Wolter and Michael Zakharyaschev \Lambda
- A modal logic framework for reasoning about comparative distances and topology
- On nonlocal propositional and weak monodic quantified CTL Sebastian Bauer, 1 Ian Hodkinson, 2 Frank Wolter, 3 and Michael Zakharyaschev 4
- The Journal of Symbolic Logic Volume 00, Number 00, XXX 0000
- Dynamic description logics Frank Wolter and Michael Zakharyaschev \Lambda
- Non-primitive recursive decidability of products of modal logics with expanding domains
- On the products of linear modal logics MARK REYNOLDS, School of Information Technology, Murdoch
- Economic Theory manuscript No. (will be inserted by the editor)
- Qualitative spatio-temporal representation and reasoning: a computational perspective
- Past and Future of DL-Lite A. Artale,1
- DL-Lite without UNA A. Artale,1
- Which Kind of Module Should I Extract? Ulrike Sattler1
- DL-Lite with role inclusions R. Kontchakov and M. Zakharyaschev
- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
- Axiomatizing distance logics Oliver Kutz 1 , Holger Sturm 2 , Nobu-Yuki Suzuki 3 ,
- Comparative similarity, tree automata, and Diophantine equations
- UNDECIDABILITY OF FIRST-ORDER INTUITIONISTIC AND MODAL LOGICS WITH TWO VARIABLES
- Islands of tractability for relational constraints: towards dichotomy results for the description
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- Modal Decision Problems Frank Wolter
- The DL-Lite Family and Relations The DL-Lite Family and Relations
- M. ZAKHARYASCHEV, F. WOLTER, AND A. CHAGROV ADVANCED MODAL LOGIC
- Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
- Temporalising Tractable Description Logics A. Artale R. Kontchakov C. Lutz
- DL-Lite in the light of first-order logic March 30, 2007
- Conservative extensions in modal logic Silvio Ghilardi Carsten Lutz Frank Wolter Michael Zakharyaschev
- From topology to metric: modal logic and quantification in metric spaces
- Journal of Artificial Intelligence Research 23 (2005) 167-243 Submitted 07/04; published 02/05 Combining Spatial and Temporal Logics
- On dynamic topological and metric logics B. Konev1, R. Kontchakov2, F. Wolter1, and M. Zakharyaschev2
- A logic for concepts and similarity M. Sheremet,1
- Undecidability of the unification and admissibility problems for modal and description logics
- Dynamic topological logics over spaces with continuous functions
- A Note on Concepts and Distances Oliver Kutz, Frank Wolter and Michael Zakharyaschev
- A tableau algorithm for reasoning about concepts and similarity
- Reasoning about distances Frank Wolter and Michael Zakharyaschev
- Automated reasoning about metric and topology Ullrich Hustadt1
- Modal description logics: modalizing roles Frank Wolter and Michael Zakharyaschev
- Satisfiability problem in description logics with modal operators Frank Wolter
- Complexity of Reasoning over Entity-Relationship Models
- Checking DL-Lite modularity with QBF solvers R. Kontchakov1
- On the complexity of description logics with modal operators
- Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers R. Kontchakov,1
- Topological Logics with Connectedness over Euclidean Spaces
- Conjunctive Query Answering with OWL 2 QL Stanislav Kikot and Roman Kontchakov and Michael Zakharyaschev
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- Exponential Lower Bounds and Separation for Query Rewriting
