Dirk Walther

Yue Ma

2017

Zooming in on Ontologies: Minimal Modules and Best Excerpts.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

2016

Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

On Computing Minimal EL-Subsumption Modules.

[BibT_eX]

[DOI]

Jieying Chen

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

2015

Towards Extracting Ontology Excerpts.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2015

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes.

[BibT_eX]

[DOI]

Shasha Feng

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

The Logical Difference for EL: From Terminologies Towards TBoxes.

[BibT_eX]

[DOI]

Shasha Feng

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Foundations for the Logical Difference of EL-TBoxes.

[BibT_eX]

[DOI]

Shasha Feng

Francisco Martín-Recuerda

Proceedings of the Global Conference on Artificial Intelligence, 2015

2014

Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs.

[BibT_eX]

[DOI]

Francisco Martín-Recuerda

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies.

[BibT_eX]

[DOI]

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

Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs.

[BibT_eX]

[DOI]

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

Evaluation of Extraction Techniques for Ontology Excerpts.

[BibT_eX]

[DOI]

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

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics.

[BibT_eX]

[DOI]

Stathis Delivorias

Haralampos Hatzikirou

Rafael Peñaloza

Francisco Martín-Recuerda

Proceedings of the Cellular Automata, 2014

2013

Model-theoretic inseparability and modularity of description logic ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

Reasoning about Actions Meets Strategic Logics.

[BibT_eX]

[DOI]

Andreas Herzig

Emiliano Lorini

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

The Concept Difference for EL-Terminologies using Hypergraphs.

[BibT_eX]

[DOI]

Andreas Ecke

Proceedings of the International workshop on Document Changes: Modeling, 2013

2012

The Logical Difference for the Lightweight Description Logic EL.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

On Satisfiability in ATL with Strategy Contexts.

[BibT_eX]

[DOI]

Nicolas Troquard

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

An Epistemic Logic with Hypotheses.

[BibT_eX]

[DOI]

Levan Uridia

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

2010

Reasoning About the Transfer of Control.

[BibT_eX]

[DOI]

Wiebe van der Hoek

Michael J. Wooldridge

J. Artif. Intell. Res., 2010

Chinese whispers and connected alignments.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Alternating-time dynamic logic.

[BibT_eX]

[DOI]

Nicolas Troquard

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Formal Properties of Modularisation.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the IJCAI 2009, 2009

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.

[BibT_eX]

[DOI]

Boris Konev

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

2008

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL.

[BibT_eX]

[DOI]

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Semantic Modularity and Module Extraction in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Logical Difference and Module Extraction with CEX and MEX.

[BibT_eX]

[DOI]

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

The Logical Difference Problem for Description Logic Terminologies.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Quantitative temporal logics over the reals: PSpace and below.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Alternating-time temporal logic with explicit strategies.

[BibT_eX]

[DOI]

Wiebe van der Hoek

Michael J. Wooldridge

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Conservative Extensions in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

ATL Satisfiability is Indeed EXPTIME-complete.

[BibT_eX]

[DOI]

Michael J. Wooldridge

J. Log. Comput., 2006

2005

PDL with Negation of Atomic Programs.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2005

Quantitative Temporal Logics: PSPACE and Below.

[BibT_eX]

[DOI]