]> 2012-05-29T10:04:51-04:00 Frank Wolter Frank Frank Wolter Wolter CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL Integrating Description Logics and Action Formalisms: First Results Reasoning about distances Multi-Dimensional Description Logics Conservative Extensions in Expressive Description Logics The product of converse PDL and polymodal K Solution to a Problem of Goranko and Passy On the Decidability of Description Logics with Modal Operators A Counterexample in Tense Logic Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics Modal Logic and the Two-Variable Fragment Description Logics and the Two-Variable Fragment Logical Difference and Module Extraction with CEX and MEX Temporal Description Logics: A Survey Conservative Extensions in the Lightweight Description Logic EL Temporalising Tractable Description Logics Quantitative temporal logics over the reals: PSpace and below Conservative extensions in modal logic DL Actions with GCIs: a Pragmatic Approach Reasoning About Actions Using Description Logics with General TBoxes Description Logics with Circumscription Updating Description Logic ABoxes Modal Logics of Topological Relations ATL Satisfiability is Indeed EXPTIME-complete Quantitative Temporal Logics: PSPACE and Below E-connections of abstract description systems Temporalising Tableaux E-connections of Description Logics Resasoning about Concepts and Similarity From Tableaux to Automata for Description Logics A Tableau Algorithm for Reasoning about Concepts and Similarity Fusions of Description Logics and Abstract Description Systems A Tableau Decision Algorithm for Modalized ALC with Constant Domains Tableaux for Temporal Description Logic with Constant Domains Checking DL-Lite Modularity with QBF Solvers Fusions of Description Logics The Logical Difference Problem for Description Logic Terminologies Can You Tell the Difference Between DL-Lite Ontologies? On the Computational Complexity of Spatial Logics with Connectedness Constraints Undecidability of the unification and admissibility problems for modal and description logics Modularity in DL-Lite Spatial Logic + Temporal Logic = ? A Logic for Concepts and Similarity Dynamic topological logics over spaces with continuous functions From topology to metric: modal logic and quantification in metric spaces Automated Reasoning About Metric and Topology Non-primitive recursive decidability of products of modal logics with expanding domains Willem Blok and Modal Logic On Dynamic Topological and Metric Logics Temporal Logics over Transitive States 'Closer' representation and reasoning Comparative Similarity, Tree Automata, and Diophantine Equations Modal Logics for Metric Spaces: Open Problems Combining Spatial and Temporal Logics: Expressiveness vs. Complexity All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete On Non-local Propositional and Weak Monodic Quantified CTL Extensions to Description Logics On the Computational Complexity of Spatio-Temporal Logics On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics Logics of metric spaces Editorial Preface A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Connecting Abstract Description Systems Decidable and Undecidable Fragments of First-Order Branching Temporal Logics On Non-Local Propositional and Local One-Variable Quantified CTL* Axiomatizing the monodic fragment of first-order temporal logic Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case Axiomatizing Distance Logics A Note on Concepts and Distances The DLRUS Temporal Description Logic Monodic fragments of first-order temporal logics: 2000-2001 A.D Reasoning over Conceptual Schemas and Queries in Temporal Databases Decidable Fragments of First-Order Modal Logics Spatial Reasoning in RCC-8 with Boolean Region Terms Monodic Epistemic Predicate Logic Semi-qualitative Reasoning about Distances: A Preliminary Report Spatio-temporal representation and reasoning based on RCC-8 Decidable fragment of first-order temporal logics First Order Common Knowledge Logics Modal Description Logics: Modalizing Roles Normal Monomodal Logics Can Simulate All Others Dynamic Description Logics Speaking about Transitive Frames in Propositional Languages The Structure of Lattices of Subframe Logics Completeness and Decidability of Tense Logics Closely Related to Logics Above K4 Simulation and Transfer Results in Modal Logic - A Survey Superintuitionistic Companions of Classical Modal Logics Tense Logic Without Tense Operators Properties of Tense Logics The Finite Model Property in Tense Logic What is the upper part of the lattice of bimodal logics? Properties of Independently Axiomatizable Bimodal Logics Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person