Michael Zakharyaschev

Anton R. Gnatenko

2022

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

A tetrachotomy of ontology-mediated queries with a covering axiom.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Unique Characterisability and Learnability of Temporal Instance Queries.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

First-order rewritability of ontology-mediated queries in linear temporal logic.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

[BibT_eX]

[DOI]

Yury Savateev

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Deciding Boundedness of Monadic Sirups.

[BibT_eX]

[DOI]

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Deciding FO-definability of Regular Languages.

[BibT_eX]

[DOI]

Yury Savateev

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Boolean Role Inclusions in DL-Lite With and Without Time.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

[BibT_eX]

[DOI]

Yury Savateev

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.

[BibT_eX]

[DOI]

J. Symb. Log., 2019

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).

[BibT_eX]

[DOI]

CoRR, 2019

Ontology-based access to temporal data with Ontop: A framework proposal.

[BibT_eX]

[DOI]

Int. J. Appl. Math. Comput. Sci., 2019

Query inseparability for ALC ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Model Comparison Games for Horn Description Logics.

[BibT_eX]

[DOI]

Jean Christoph Jung

Fabio Papacchini

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Note on DL-Lite with Boolean Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Model Comparison Games for Horn Description Logics: A Summary.

[BibT_eX]

[DOI]

Jean Christoph Jung

Fabio Papacchini

Proceedings of the 32nd International Workshop on Description Logics, 2019

Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Querying Log Data with Metric Temporal Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.

[BibT_eX]

[DOI]

Meghyn Bienvenu

J. ACM, 2018

STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries.

[BibT_eX]

[DOI]

Salvatore Rapisarda

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Ontology-Based Data Access: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering.

[BibT_eX]

[DOI]

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.

[BibT_eX]

[DOI]

On Strictly Positive Modal Logics with S4.3 Frames.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

2017

Horn Fragments of the Halpern-Shoham Interval Temporal Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

Metric Temporal Logic for Ontology-Based Data Access over Log Data.

[BibT_eX]

[DOI]

CoRR, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Ontology-Based Data Access to Slegge.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

A Framework for Temporal Ontology-Based Data Access: A Proposal.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2017

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2016

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).

[BibT_eX]

[DOI]

CoRR, 2016

Games for query inseparability of description logic knowledge bases.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Conservative Rewritability of Description Logic TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

When is Query Inseparability for ALC Ontologies Decidable?

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

When Are Description Logic Knowledge Bases Indistinguishable?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Conservative Rewritability of Description Logic TBoxes: First Results.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Interval Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Tractable Interval Temporal Propositional and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Cookbook for Temporal Conceptual Data Modelling with Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases.

[BibT_eX]

[DOI]

CoRR, 2014

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces.

[BibT_eX]

[DOI]

Artif. Intell., 2014

The price of query rewriting in ontology-based data access.

[BibT_eX]

[DOI]

Georg Gottlob

Thomas Schwentick

Artif. Intell., 2014

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.

[BibT_eX]

[DOI]

Martin Rezk

Guohui Xiao

Proceedings of the Semantic Web - ISWC 2014, 2014

An Introduction to Description Logics and Query Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

Query Inseparability for Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Query Inseparability by Games.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporal OBDA with LTL and DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

On the succinctness of query rewriting over shallow ontologies.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Topological Logics with Connectedness over Euclidean Spaces.

[BibT_eX]

[DOI]

Yavor Nenov

ACM Trans. Comput. Log., 2013

A Decidable Extension of SROIQ with Complex Role Chains and Unions.

[BibT_eX]

[DOI]

Milenko Mosurovic

Nenad Krdzavac

Henson Graves

J. Artif. Intell. Res., 2013

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2013

Ontology-Based Data Access: Ontop of Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Ontology-Based Data Access with Databases: A Short Course.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013

Ontop at Work.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

OBDA with Ontop.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

The Complexity of Clausal Fragments of LTL.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Temporal Description Logic for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Query Rewriting and Optimisation with Database Dependencies in Ontop.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Query Answering via Modal Definability with FaCT++: First Blood.

[BibT_eX]

[DOI]

Dmitry Tsarkov

Evgeny Zolin

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Query Rewriting over Shallow Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalising OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Conjunctive Query Answering with OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Exponential Lower Bounds and Separation for Query Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Long Rewritings, Short Rewritings.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Query Inseparability and Module Extraction in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Logic in the Time of WWW: An OWL View.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information and Computation, 2011

Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.

[BibT_eX]

[DOI]

Yavor Nenov

Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

On P/NP Dichotomies for EL Subsumption under Relational Constraints.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Module Extraction via Query Inseparability in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

On (In)Tractability of OBDA with OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Spatial logics with connectedness predicates

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2010

A modal logic framework for reasoning about comparative distances and topology.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2010

Logic-based ontology comparison and module extraction, with an application to DL-Lite.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Interpreting Topological Logics over Euclidean Spaces.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The Combined Approach to Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Complexity of Reasoning over Temporal Data Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Temporal Conceptual Modelling with DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

Past and Future of DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

The DL-Lite Family and Relations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

<i>DL-Lite</i> with Temporalised Concepts, Rigid Axioms and Roles.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Which Kind of Module Should I Extract?

[BibT_eX]

[DOI]

Ulrike Sattler

Thomas Schneider

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Extending DL-Lite Sometime in the Future.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

DL-Lite without UNA.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Adding Weight to DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Undecidability of the unification and admissibility problems for modal and description logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Temporal Description Logics: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

On the Computational Complexity of Spatial Logics with Connectedness Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Can You Tell the Difference Between DL-Lite Ontologies?.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Checking DL-Lite Modularity with QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

DL-Lite and Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

Topology, connectedness, and modal logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 7, 2008

2007

Spatial Logic + Temporal Logic = ?.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Spatial Logics, 2007

A Logic for Concepts and Similarity.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Temporalising Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Query Answering in Expressive Variants of DL-Lite.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Temporalising Logics: Fifteen Years After.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Reasoning over Extended ER Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

Modularity in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity of Reasoning in Entity Relationship Models.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

DL-Lite in the Light of First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Modal decision problems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Modal Logic., 2007

2006

Willem Blok and Modal Logic.

[BibT_eX]

[DOI]

Wolfgang Rautenberg

Stud Logica, 2006

On Dynamic Topological and Metric Logics.

[BibT_eX]

[DOI]

Stud Logica, 2006

Non-primitive recursive decidability of products of modal logics with expanding domains.

[BibT_eX]

[DOI]

David Gabelaia

Ann. Pure Appl. Log., 2006

Automated Reasoning About Metric and Topology.

[BibT_eX]

[DOI]

Ullrich Hustadt

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

From topology to metric: modal logic and quantification in metric spaces.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

Dynamic topological logics over spaces with continuous functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

Conservative extensions in modal logic.

[BibT_eX]

[DOI]

Silvio Ghilardi

Proceedings of the Advances in Modal Logic 6, 2006

2005

A logic for metric and topology.

[BibT_eX]

[DOI]

J. Symb. Log., 2005

Products of 'transitive' modal logics.

[BibT_eX]

[DOI]

David Gabelaia

J. Symb. Log., 2005

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

Undecidability of first-order intuitionistic and modal logics with two variables.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2005

Comparative Similarity, Tree Automata, and Diophantine Equations.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

'Closer' representation and reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Temporal Logics over Transitive States.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2005

Modal Logics for Metric Spaces: Open Problems.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

Temporalising Tableaux.

[BibT_eX]

[DOI]

Stud Logica, 2004

On Non-local Propositional and Weak Monodic Quantified CTL.

[BibT_eX]

[DOI]

Sebastian Bauer

J. Log. Comput., 2004

E-connections of abstract description systems.

[BibT_eX]

[DOI]

Artif. Intell., 2004

2003

Logics of metric spaces.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

A Tableau Algorithm for Reasoning about Concepts and Similarity.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Reasoning about distances.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

On the Computational Complexity of Spatio-Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Resasoning about Concepts and Similarity.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

E-connections of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

A Tableau Decision Algorithm for Modalized ALC with Constant Domains.

[BibT_eX]

[DOI]

Stud Logica, 2002

Preface.

[BibT_eX]

[DOI]

Ágnes Kurucz

Stud Logica, 2002

Axiomatizing Distance Logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2002

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning.

[BibT_eX]

[DOI]

Brandon Bennett

Anthony G. Cohn

Appl. Intell., 2002

Axiomatizing the monodic fragment of first-order temporal logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2002

On Non-Local Propositional and Local One-Variable Quantified CTL*.

[BibT_eX]

[DOI]

Sebastian Bauer

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Connecting Abstract Description Systems.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.

[BibT_eX]

[DOI]

Enrico Franconi

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Note on Relativised Products of Modal Logics.

[BibT_eX]

[DOI]

Ágnes Kurucz

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

Editorial Preface.

[BibT_eX]

Philippe Balbiani

Nobu-Yuki Suzuki

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

On the Products of Linear Modal Logics.

[BibT_eX]

[DOI]

Mark Reynolds

J. Log. Comput., 2001

Decidable Fragments of First-Order Modal Logics.

[BibT_eX]

[DOI]

J. Symb. Log., 2001

Reasoning over Conceptual Schemas and Queries in Temporal Databases.

[BibT_eX]

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Monodic fragments of first-order temporal logics: 2000-2001 A.D.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

A Note on Concepts and Distances.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The DLRUS Temporal Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Tableaux for Temporal Description Logic with Constant Domains.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2000

Decidable fragment of first-order temporal logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2000

Spatio-temporal representation and reasoning based on RCC-8.

[BibT_eX]

Proceedings of the KR 2000, 2000

Monodic Epistemic Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Semi-qualitative Reasoning about Distances: A Preliminary Report.

[BibT_eX]

[DOI]

Nobu-Yuki Suzuki

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Spatial Reasoning in RCC-8 with Boolean Region Terms.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Modal Description Logics: Modalizing Roles.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Multi-Dimensional Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Speaking about Transitive Frames in Propositional Languages.

[BibT_eX]

[DOI]

Yasuhito Suzuki

J. Log. Lang. Inf., 1998

On the Decidability of Description Logics with Modal Operators.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Temporalizing Description Logics.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

The Origins of Modern Modal Logic.

[BibT_eX]

Krister Segerberg

Maarten de Rijke

Heinrich Wansing

Proceedings of the Advances in Modal Logic 2, 1998

Dynamic Description Logics.

[BibT_eX]

Proceedings of the Advances in Modal Logic 2, 1998

1997

The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable.

[BibT_eX]

[DOI]

Stud Logica, 1997

Canonical Formulas for K4, Part III: The Finite Model Property.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

Modal Logic.

[BibT_eX]

Oxford logic guides 35, Oxford University Press, ISBN: 978-0-19-853779-3, 1997

1996

Canonical Formulas for K4, Part II: Confinal Subframe Logics.

[BibT_eX]

[DOI]

J. Symb. Log., 1996

1995

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.

[BibT_eX]

[DOI]

Alexander Alekseev

Math. Log. Q., 1995

On the Independent Axiomatizability of Modal and Intermediate Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

1994

A New Solution to a Problem of Hosoi and Ono.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1994

1993

The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems.

[BibT_eX]

[DOI]

J. Symb. Log., 1993

A Sufficient Condition for the Finite Model Property of Modal Logics above K4.

[BibT_eX]

[DOI]

Log. J. IGPL, 1993

1992

Modal Companions of Intermediate Propositional Logics.

[BibT_eX]

[DOI]

Stud Logica, 1992

Canonical Formulas for K4, Part I: Basic Results.

[BibT_eX]

[DOI]

J. Symb. Log., 1992

1991

The disjunction property of intermediate propositional logics.

[BibT_eX]

[DOI]

Stud Logica, 1991

1987

Theorem Proving in Intermediate and Modal Logics.

[BibT_eX]

[DOI]