| Publication | Date of Publication | Type |
|---|
| Update-programms can update programs | 2024-10-24 | Paper |
| Telco network inventory validation with NoHR | 2019-10-10 | Paper |
Strong and explicit negation in non-monotonic reasoning and logic programming
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Combining transactions and automatic repairs
Journal Of Logic And Computation | 2019-01-31 | Paper |
Equivalence of defeasible normative systems
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Query-driven procedures for hybrid MKNF knowledge bases
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Preserving strong equivalence while forgetting
Logics in Artificial Intelligence | 2015-01-14 | Paper |
A goal-directed implementation of query answering for hybrid MKNF knowledge bases
Theory and Practice of Logic Programming | 2014-04-17 | Paper |
Decidability and implementation of parametrized logic programs
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Forgetting under the well-founded semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
External Transaction Logic with Automatic Compensations
Lecture Notes in Computer Science | 2013-10-04 | Paper |
| A language for multi-dimensional updates | 2013-08-20 | Paper |
An embedding of input-output logic in deontic logic programs
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence | 2011-11-17 | Paper |
Parametrized equilibrium logic
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Transaction logic with external actions
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Evolving logic programs with temporal operators
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Parametrized logic programming
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Progress in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
Lecture Notes in Computer Science | 2009-01-20 | Paper |
An Event-Condition-Action Logic Programming Language
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
The refinement extension principle for semantics of dynamic logic programming
Studia Logica | 2005-12-02 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2088155 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2085245 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1931648 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931649 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1926644 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1884401 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1759388 (Why is no real title available?) | 2002-11-25 | Paper |
LUPS -- A language for updating logic programs
Artificial Intelligence | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1761412 (Why is no real title available?) | 2002-06-30 | Paper |
| scientific article; zbMATH DE number 1696793 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1670569 (Why is no real title available?) | 2001-12-04 | Paper |
| scientific article; zbMATH DE number 1453063 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1292289 (Why is no real title available?) | 1999-05-27 | Paper |
`Classical' negation in nonmonotonic reasoning and logic programming
Journal of Automated Reasoning | 1998-06-02 | Paper |
| scientific article; zbMATH DE number 978236 (Why is no real title available?) | 1997-04-21 | Paper |
| scientific article; zbMATH DE number 970713 (Why is no real title available?) | 1997-03-19 | Paper |
Reasoning with logic programming
Lecture Notes in Computer Science | 1996-10-06 | Paper |
Belief, provability, and logic programs
Journal of Applied Non-Classical Logics | 1995-09-11 | Paper |
A logic programming system for nonmonotonic reasoning
Journal of Automated Reasoning | 1995-08-27 | Paper |
Adding closed world assumptions to well-founded semantics
Theoretical Computer Science | 1994-11-29 | Paper |
Non-monotonic reasoning with logic programming
The Journal of Logic Programming | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 67821 (Why is no real title available?) | 1992-09-27 | Paper |
