| Publication | Date of Publication | Type |
|---|
Making decisions with knowledge base repairs
Modeling Decisions for Artificial Intelligence | 2024-02-23 | Paper |
The Probabilistic Description Logic
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Consequence-based axiom pinpointing
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Pinpointing axioms in ontologies via ASP
| 2023-04-04 | Paper |
Introduction to Probabilistic Ontologies
| 2023-03-24 | Paper |
Fuzzy Description Logics – A Survey
Lecture Notes in Computer Science | 2022-11-04 | Paper |
Towards Statistical Reasoning in Description Logics over Finite Domains
Lecture Notes in Computer Science | 2022-11-04 | Paper |
Repairing socially aggregated ontologies using axiom weakening
| 2022-11-02 | Paper |
Inconsistency-tolerant instance checking in tractable description logics
Rules and Reasoning | 2022-07-01 | Paper |
Query answering in fuzzy DL-Lite with graded axioms
| 2021-02-23 | Paper |
Explaining axiom pinpointing
| 2020-06-04 | Paper |
A Bayesian extension of the description logic \(\mathcal{ALC}\)
| 2020-02-18 | Paper |
scientific article; zbMATH DE number 7034311 (Why is no real title available?)
| 2019-03-11 | Paper |
Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
Annals of Mathematics and Artificial Intelligence | 2018-08-06 | Paper |
Complexity Results for Probabilistic Datalog
| 2018-07-12 | Paper |
The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
International Journal of Approximate Reasoning | 2017-11-21 | Paper |
Understanding the complexity of axiom pinpointing in lightweight description logics
Artificial Intelligence | 2017-11-16 | Paper |
Reasoning in fuzzy description logics using automata
Fuzzy Sets and Systems | 2017-11-14 | Paper |
Fuzzy answer set computation via satisfiability modulo theories
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
The Bayesian ontology language \(\mathcal {BEL}\)
Journal of Automated Reasoning | 2017-07-10 | Paper |
Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
Lecture Notes in Computer Science | 2017-06-20 | Paper |
An automata view to goal-directed methods
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
International Journal of Approximate Reasoning | 2017-03-29 | Paper |
Reasoning in expressive description logics under infinitely valued Gödel semantics
Frontiers of Combining Systems | 2017-02-27 | Paper |
Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
Uncertainty Reasoning for the Semantic Web II | 2016-12-19 | Paper |
Efficient reasoning for inconsistent Horn formulae
Logics in Artificial Intelligence | 2016-11-30 | Paper |
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
The inclusion problem for weighted automata on infinite trees
| 2016-07-26 | Paper |
Similarity-based relaxed instance queries
Journal of Applied Logic | 2015-12-23 | Paper |
On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
Journal of Philosophical Logic | 2015-04-23 | Paper |
The limits of decidability in fuzzy description logics with general concept inclusions
Artificial Intelligence | 2015-02-02 | Paper |
Error-tolerant reasoning in the description logic \(\mathcal{EL}\)
Logics in Artificial Intelligence | 2015-01-14 | Paper |
The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Tight complexity bounds for reasoning in the description logic \(\mathcal{BEL}\)
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Consistency reasoning in lattice-based fuzzy description logics
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
The Bayesian description logic \({\mathcal{BEL}}\)
Automated Reasoning | 2014-09-26 | Paper |
The complexity of computing the behaviour of lattice automata on infinite trees
Theoretical Computer Science | 2014-04-29 | Paper |
Fuzzy answer sets approximations
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Roughening the \(\mathcal{EL}\) envelope
Frontiers of Combining Systems | 2013-09-20 | Paper |
How fuzzy is my fuzzy description logic?
Automated Reasoning | 2012-09-05 | Paper |
On the undecidability of fuzzy description logics with GCIs and product t-norm
Frontiers of Combining Systems | 2011-10-07 | Paper |
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
| 2011-05-11 | Paper |
Automata-based axiom pinpointing
Journal of Automated Reasoning | 2010-10-08 | Paper |
Using sums-of-products for non-standard reasoning
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Axiom Pinpointing in General Tableaux
Journal Of Logic And Computation | 2010-02-19 | Paper |
Automata-Based Axiom Pinpointing
Automated Reasoning | 2008-11-27 | Paper |
Automata can show PSpace results for description logics
Information and Computation | 2008-10-08 | Paper |
Axiom Pinpointing in General Tableaux
Lecture Notes in Computer Science | 2008-01-04 | Paper |
