| Publication | Date of Publication | Type |
|---|
Large language models for mathematicians
Internationale Mathematische Nachrichten | 2024-10-22 | Paper |
\(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements
International Journal of Approximate Reasoning | 2024-07-24 | Paper |
Pre-training and diagnosing knowledge base completion models
Artificial Intelligence | 2024-04-30 | Paper |
A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
Lecture Notes in Computer Science | 2023-06-30 | Paper |
Selective Pseudo-Label Clustering
| 2023-03-29 | Paper |
Rationalizing predictions by adversarial information calibration
Artificial Intelligence | 2023-01-04 | Paper |
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
Journal of the ACM | 2022-12-08 | Paper |
Inconsistency-tolerant query answering for existential rules
Artificial Intelligence | 2022-04-11 | Paper |
Complexity results for preference aggregation over \((m)\)CP-nets: max and rank voting
Artificial Intelligence | 2022-03-02 | Paper |
Multi-label classification neural networks with hard logical constraints
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
scientific article; zbMATH DE number 7368419 (Why is no real title available?)
| 2021-07-06 | Paper |
Ontology reasoning with deep neural networks
Journal of Artificial Intelligence Research | 2020-07-29 | Paper |
Partially observable game-theoretic agent programming in Golog
International Journal of Approximate Reasoning | 2020-02-27 | Paper |
Complexity results for preference aggregation over (\(m\))CP-nets: Pareto and majority voting
Artificial Intelligence | 2019-08-28 | Paper |
Ontological query answering under many-valued group preferences in Datalog\(+/-\)
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
Complexity Results for Probabilistic Datalog
| 2018-07-12 | Paper |
Complexity of threshold query answering in probabilistic ontological data exchange
| 2018-07-12 | Paper |
A novel characterization of the complexity class \(\Theta_k^{\mathrm{P}}\) based on counting and comparison
Theoretical Computer Science | 2017-09-12 | Paper |
Probabilistic preference logic networks
| 2017-07-18 | Paper |
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
Uncertainty Reasoning for the Semantic Web II | 2016-12-19 | Paper |
Inconsistency handling in Datalog\(+/-\) ontologies
| 2015-12-11 | Paper |
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
Annals of Mathematics and Artificial Intelligence | 2014-06-26 | Paper |
Ontology-based semantic search on the web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence | 2012-06-19 | Paper |
Description logic programs under probabilistic uncertainty and fuzzy vagueness
International Journal of Approximate Reasoning | 2010-04-07 | Paper |
Probabilistic lexicographic entailment under variable-strength inheritance with overriding
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Probabilistic description logic programs under inheritance with overriding for the semantic Web
International Journal of Approximate Reasoning | 2010-03-19 | Paper |
Combining answer set programming with description logics for the semantic web
Artificial Intelligence | 2009-07-17 | Paper |
Expressive probabilistic description logics
Artificial Intelligence | 2009-07-17 | Paper |
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic | 2008-12-21 | Paper |
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Probabilistic object bases
ACM Transactions on Database Systems | 2008-06-18 | Paper |
Fuzzy description logic programs under the answer set semantics for the semantic web
| 2008-03-19 | Paper |
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
Lecture Notes in Computer Science | 2008-03-04 | Paper |
Weak nonmonotonic probabilistic logics
Artificial Intelligence | 2007-10-23 | Paper |
Causes and explanations in the structural-model approach: Tractable cases
Artificial Intelligence | 2007-10-23 | Paper |
Probabilistic description logic programs
International Journal of Approximate Reasoning | 2007-07-19 | Paper |
Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
International Journal of Approximate Reasoning | 2007-05-18 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence | 2006-04-04 | Paper |
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence | 2006-02-07 | Paper |
Complexity results for explanations in the structural-model approach
Artificial Intelligence | 2006-02-07 | Paper |
Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
Synthese | 2005-12-12 | Paper |
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
Journal of Applied Non-Classical Logics | 2004-03-07 | Paper |
scientific article; zbMATH DE number 1931651 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1884399 (Why is no real title available?)
| 2003-03-18 | Paper |
Complexity results for structure-based causality.
Artificial Intelligence | 2003-01-21 | Paper |
scientific article; zbMATH DE number 1844478 (Why is no real title available?)
| 2002-12-12 | Paper |
scientific article; zbMATH DE number 1759386 (Why is no real title available?)
| 2002-11-25 | Paper |
Probabilistic default reasoning with conditional constraints
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
Default reasoning from conditional knowledge bases: Complexity and tractable cases
Artificial Intelligence | 2000-12-12 | Paper |
scientific article; zbMATH DE number 1342227 (Why is no real title available?)
| 2000-11-05 | Paper |
scientific article; zbMATH DE number 1507281 (Why is no real title available?)
| 2000-09-14 | Paper |
scientific article; zbMATH DE number 1453068 (Why is no real title available?)
| 2000-05-25 | Paper |
Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
International Journal of Approximate Reasoning | 2000-02-09 | Paper |
scientific article; zbMATH DE number 1285158 (Why is no real title available?)
| 1999-05-10 | Paper |
scientific article; zbMATH DE number 1130263 (Why is no real title available?)
| 1998-03-18 | Paper |
