Andreas Ecke

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2017

Quantitative Methods for Similarity in Description Logics.

[BibT_eX]

[DOI]

PhD thesis, 2017

Quantitative Methods for Similarity in Description Logics.

[BibT_eX]

[DOI]

Künstliche Intell., 2017

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2017, 2017

Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2017, 2017

2016

Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

2015

Similarity-based relaxed instance queries.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

Elastiq: Answering Similarity-threshold Instance Queries in EL.

[BibT_eX]

[DOI]

Maximilian Pensel

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

2014

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Answering Instance Queries Relaxed by Concept Similarity.

[BibT_eX]

[DOI]

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

Mary, What's Like All Cats?

[BibT_eX]

[DOI]

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

Quantitative methods for similarity and generalization in Description Logics.

[BibT_eX]

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

Similarity-based Relaxed Instance Queries in EL++.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2013

Computing Role-Depth Bounded Generalizations in the Description Logic.

[BibT_eX]

[DOI]

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

The Concept Difference for EL-Terminologies using Hypergraphs.

[BibT_eX]

[DOI]

Michel Ludwig

Dirk Walther

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

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.

[BibT_eX]

[DOI]

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

2012

Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Role-depth Bounded Least Common Subsumers for EL+ and ELI.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Implementing Completion-Based Inferences for the EL-family.

[BibT_eX]

[DOI]

Julian Mendez