| Publication | Date of Publication | Type |
|---|
An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
(available as arXiv preprint) | 2024-01-23 | Paper |
| An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols | 2024-01-23 | Paper |
An abductive framework for extended logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Dischargeable obligations in abductive logic programming
Rules and Reasoning | 2022-07-01 | Paper |
Symbolic DNN-tuner
Machine Learning | 2022-04-20 | Paper |
Learning hierarchical probabilistic logic programs
Machine Learning | 2022-01-28 | Paper |
Nonground abductive logic programming with probabilistic integrity constraints
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Probabilistic inductive constraint logic
Machine Learning | 2021-11-24 | Paper |
A semantics for hybrid probabilistic logic programs with function symbols
Artificial Intelligence | 2021-11-02 | Paper |
Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
Fundamenta Informaticae | 2021-05-20 | Paper |
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
| An abductive framework for Datalog\(^\pm\) ontologies | 2019-04-24 | Paper |
Tableau reasoning for description logics and its extension to probabilities
Annals of Mathematics and Artificial Intelligence | 2018-08-06 | Paper |
Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming
Fundamenta Informaticae | 2018-05-03 | Paper |
Evaluating compliance: from LTL to abductive logic programming
Fundamenta Informaticae | 2018-05-03 | Paper |
Verifiable agent interaction in abductive logic programming: the SCIFF framework
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
International Journal of Approximate Reasoning | 2016-12-15 | Paper |
Distributed Parameter Learning for Probabilistic Ontologies
Inductive Logic Programming | 2016-10-19 | Paper |
Lifted variable elimination for probabilistic logic programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Editorial: 29th international conference on logic programming special issue
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Specification and verification of agent interaction using social integrity constraints | 2013-08-27 | Paper |
\(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning
Logic Programs, Norms and Action | 2012-07-23 | Paper |
| Runtime addition of integrity constraints in an abductive proof procedure | 2012-05-11 | Paper |
| Abductive logic programming as an effective technology for the static verification of declarative business processes | 2011-06-10 | Paper |
An abductive interpretation for open agent societies
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Logic Programming | 2009-07-24 | Paper |
Specification and Verification of Agent Interaction Using Abductive Reasoning
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Verification from Declarative Specifications Using Logic Programming
Logic Programming | 2009-01-22 | Paper |
Applying Inductive Logic Programming to Process Mining
Inductive Logic Programming | 2008-03-28 | Paper |
Advances in Intelligent Data Analysis VI
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory | 2006-10-16 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
A CHR-based implementation of known arc-consistency
Theory and Practice of Logic Programming | 2005-10-18 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Belief revision via Lamarckian evolution
New Generation Computing | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2090883 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2086599 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1746702 (Why is no real title available?) | 2004-02-25 | Paper |
| scientific article; zbMATH DE number 2036518 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 1931645 (Why is no real title available?) | 2003-06-20 | Paper |
Cooperation and competition in ALIAS: A logic framework for agents that negotiate
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
| scientific article; zbMATH DE number 1760137 (Why is no real title available?) | 2002-11-06 | Paper |
From eager or lazy constrained data acquisition: A general framework
New Generation Computing | 2002-10-22 | Paper |
| scientific article; zbMATH DE number 1737612 (Why is no real title available?) | 2002-05-05 | Paper |
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages | 2002-05-01 | Paper |
| scientific article; zbMATH DE number 1703882 (Why is no real title available?) | 2002-02-13 | Paper |
| scientific article; zbMATH DE number 1630005 (Why is no real title available?) | 2001-10-23 | Paper |
Strategies in combined learning via logic programs
Machine Learning | 2001-05-20 | Paper |
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence | 2000-09-10 | Paper |
Integrating induction and abduction in logic programming
Information Sciences | 2000-01-04 | Paper |
Reasoning on constraints in CLP(FD)
The Journal of Logic Programming | 1999-01-03 | Paper |
| scientific article; zbMATH DE number 1231539 (Why is no real title available?) | 1998-12-20 | Paper |
A unifying view for logic programming with non-monotonic reasoning
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1083039 (Why is no real title available?) | 1998-05-13 | Paper |
| scientific article; zbMATH DE number 1140682 (Why is no real title available?) | 1998-04-13 | Paper |
An abstract interpretation framework for optimizing dynamic modular logic languages
Information Processing Letters | 1997-02-27 | Paper |
An assumption-based truth maintenance system dealing with non-ground justifications
Journal of Experimental & Theoretical Artificial Intelligence | 1996-06-09 | Paper |
Composing Open Logic Programs
Journal Of Logic And Computation | 1994-03-22 | Paper |
Partial deduction for structured logic programming
The Journal of Logic Programming | 1993-11-17 | Paper |
Compositional model-theoretic semantics for logic programs
New Generation Computing | 1993-04-01 | Paper |
The implementation of a distributed model for logic programming based on multiple-headed clauses
Information Processing Letters | 1993-01-16 | Paper |
Hypothetical reasoning in logic programming: A semantic approach
Information Processing Letters | 1990-01-01 | Paper |
