| Publication | Date of Publication | Type |
|---|
| Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP | 2024-03-14 | Paper |
Reasoning on with Defeasibility in ASP
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| A Neuro-Symbolic Approach to Structured Event Recognition. | 2023-10-02 | Paper |
Refining neural network predictions using background knowledge
Machine Learning | 2023-08-22 | Paper |
| Lifted Inference beyond First-Order Logic | 2023-08-22 | Paper |
| Weighted First Order Model Counting with Directed Acyclic Graph Axioms | 2023-02-20 | Paper |
scientific article; zbMATH DE number 7594179 (Why is no real title available?)
(available as arXiv preprint) | 2022-09-28 | Paper |
Logic tensor networks
Artificial Intelligence | 2022-03-02 | Paper |
| The Semantic PASCAL-Part Dataset | 2022-01-19 | Dataset |
| Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula | 2021-10-12 | Paper |
| Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories | 2020-06-04 | Paper |
Learning and reasoning with logic tensor networks
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
Mechanizing multi-agent reasoning with belief contexts
Practical Reasoning | 2019-04-29 | Paper |
Enhancing context knowledge repositories with justifiable exceptions
Artificial Intelligence | 2018-05-16 | Paper |
Distributed first order logic
Artificial Intelligence | 2017-12-22 | Paper |
A SAT-based algorithm for context matching
Modeling and Using Context | 2010-04-06 | Paper |
On the difference between bridge rules and lifting axioms
Modeling and Using Context | 2010-04-06 | Paper |
Journal on Data Semantics I
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Composing Modular Ontologies with Distributed Description Logics
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Formal and Conceptual Comparison of Ontology Mapping Languages
Lecture Notes in Computer Science | 2009-06-09 | Paper |
| Complexity of reasoning with expressive ontology mappings | 2009-03-24 | Paper |
Mapping Properties of Heterogeneous Ontologies
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-04 | Paper |
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
Comparing formal theories of context in AI
Artificial Intelligence | 2006-02-07 | Paper |
Modeling and Using Context
Lecture Notes in Computer Science | 2005-12-15 | Paper |
| scientific article; zbMATH DE number 2090040 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2088157 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080341 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080563 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2001205 (Why is no real title available?) | 2003-11-05 | Paper |
| scientific article; zbMATH DE number 1947671 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1943790 (Why is no real title available?) | 2003-07-01 | Paper |
ML systems: A proof theory for contexts
Journal of Logic, Language and Information | 2003-03-12 | Paper |
A Foundation for Metareasoning Part II: The Model Theory
Journal Of Logic And Computation | 2002-08-12 | Paper |
| Distributed first order logics | 2002-08-05 | Paper |
Mental States Recognition from Communication
Journal Of Logic And Computation | 2002-07-30 | Paper |
A Foundation for Metareasoning Part I: The Proof Theory
Journal Of Logic And Computation | 2002-07-30 | Paper |
| scientific article; zbMATH DE number 1755766 (Why is no real title available?) | 2002-06-16 | Paper |
| scientific article; zbMATH DE number 1552270 (Why is no real title available?) | 2001-06-25 | Paper |
| scientific article; zbMATH DE number 1552264 (Why is no real title available?) | 2001-01-15 | Paper |
| scientific article; zbMATH DE number 1418379 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1396181 (Why is no real title available?) | 2000-06-13 | Paper |
| scientific article; zbMATH DE number 1202873 (Why is no real title available?) | 1998-09-27 | Paper |
Multilanguage hierarchical logics, or: How we can do without modal logics
Artificial Intelligence | 1994-02-24 | Paper |
