| 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 |
Dischargeable obligations in abductive logic programming
Rules and Reasoning | 2022-07-01 | Paper |
Probabilistic inductive constraint logic
Machine Learning | 2021-11-24 | Paper |
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
Fundamenta Informaticae | 2021-05-20 | Paper |
MAP inference for probabilistic logic programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
Verifiable agent interaction in abductive logic programming: the SCIFF framework
ACM Transactions on Computational Logic | 2017-07-12 | 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 |
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Annals of Mathematics and Artificial Intelligence | 2012-05-23 | Paper |
| Runtime addition of integrity constraints in an abductive proof procedure | 2012-05-11 | Paper |
Normative systems represented as hybrid knowledge bases
Lecture Notes in Computer Science | 2011-09-16 | 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 |
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 |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2090883 (Why is no real title available?) | 2004-08-13 | Paper |
