| Publication | Date of Publication | Type |
|---|
| Prolegomena to logic programming for non-monotonic reasoning | 2024-10-24 | Paper |
| Computation of non-ground disjunctive well-founded semantics with constraint logic programming | 2024-10-24 | Paper |
Characterizations of the stable semantics by partial evaluation
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Characterizing D-WFS: confluence and iterated GCWA
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Super logic programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Probabilistic agent programs
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Privacy preservation using multi-context systems and default logic
Correct Reasoning | 2012-07-23 | Paper |
Towards an environment interface standard for agent platforms
Annals of Mathematics and Artificial Intelligence | 2012-03-23 | Paper |
| Planning in answer set programming using ordered task decomposition | 2011-06-21 | Paper |
Monitoring agents using declarative planning
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Planning in answer set programming using ordered task decomposition
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
The First Contest on Multi-agent Systems Based on Computational Logic
Lecture Notes in Computer Science | 2009-04-28 | Paper |
The Second Contest on Multi-Agent Systems Based on Computational Logic
Lecture Notes in Computer Science | 2009-01-20 | Paper |
The Relationship Between Reasoning About Privacy and Default Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Model checking abilities of agents: a closer look
Theory of Computing Systems | 2008-04-11 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Improving performance of heterogeneous agents
Annals of Mathematics and Artificial Intelligence | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2063027 (Why is no real title available?) | 2004-03-29 | Paper |
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1931658 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1884380 (Why is no real title available?) | 2003-03-18 | Paper |
IMPACTing SHOP: Putting an AI planner into a multi-agent environment
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
Relating defeasible and normal logic programming through transformation properties.
Theoretical Computer Science | 2003-01-21 | Paper |
| Nonmonotonic reasoning: Towards efficient calculi and implementations | 2002-08-29 | Paper |
Computation of the semantics of autoepistemic belief theories
Artificial Intelligence | 2002-07-24 | Paper |
Explaining updates by minimal sums
Theoretical Computer Science | 2002-03-03 | Paper |
Meta-agent programs
The Journal of Logic Programming | 2001-10-30 | Paper |
Temporal agent programs
Artificial Intelligence | 2001-08-20 | Paper |
On the equivalence of the static and disjunctive well-founded semantics and its computation
Theoretical Computer Science | 2001-08-20 | Paper |
A general theory of confluent rewriting systems for logic programming and its applications
Annals of Pure and Applied Logic | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1500646 (Why is no real title available?) | 2000-09-04 | Paper |
A framework to incorporate non-monotonic reasoning into constraint logic programming
The Journal of Logic Programming | 2000-05-28 | Paper |
Semantics of (disjunctive) logic programs based on partial evaluation
The Journal of Logic Programming | 1999-11-01 | Paper |
| scientific article; zbMATH DE number 1241670 (Why is no real title available?) | 1999-08-08 | Paper |
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
Journal of Automated Reasoning | 1998-08-03 | Paper |
Characterizations of the disjunctive stable semantics by partial evaluation
The Journal of Logic Programming | 1998-02-26 | Paper |
| scientific article; zbMATH DE number 978240 (Why is no real title available?) | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 824740 (Why is no real title available?) | 1995-12-11 | Paper |
| scientific article; zbMATH DE number 741348 (Why is no real title available?) | 1995-04-09 | Paper |
| scientific article; zbMATH DE number 741347 (Why is no real title available?) | 1995-04-09 | Paper |
The relationship between KLM and MAK models for nonmonotonic inference operations
Journal of Logic, Language and Information | 1994-10-09 | Paper |
| scientific article; zbMATH DE number 517024 (Why is no real title available?) | 1994-04-17 | Paper |
| scientific article; zbMATH DE number 520219 (Why is no real title available?) | 1994-02-27 | Paper |
| scientific article; zbMATH DE number 408769 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 4121971 (Why is no real title available?) | 1989-01-01 | Paper |
