| Publication | Date of Publication | Type |
|---|
| Prolegomena to logic programming for non-monotonic reasoning | 2024-10-24 | Paper |
| Update-programms can update programs | 2024-10-24 | Paper |
Layerings of logic programs -- layer decomposable semantics and incremental model computation
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
Modularization of logic programs
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
Abduction over 3-valued extended logic programs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Strong and explicit negation in non-monotonic reasoning and logic programming
Logics in Artificial Intelligence | 2019-10-08 | Paper |
| Contextual reasoning: usually birds can abductively fly | 2017-09-05 | Paper |
Inspecting and preferring abductive models
The Handbook on Reasoning-Based Intelligent Systems | 2016-11-09 | Paper |
Contextual abductive reasoning with side-effects
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Incremental Tabling for Query-Driven Propagation of Logic Program Updates
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Program updating by incremental and answer subsumption tabling
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| A logic based asynchronous multi-agent system | 2013-08-20 | Paper |
| A language for multi-dimensional updates | 2013-08-20 | Paper |
Turing is among us
Journal Of Logic And Computation | 2013-01-14 | Paper |
Moral reasoning under uncertainty
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Annals of Mathematics and Artificial Intelligence | 2012-05-23 | Paper |
| Tight semantics for logic programs | 2012-05-11 | Paper |
Inspecting side-effects of abduction in logic programs
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Cluster-lift method for mapping research activities over a concept tree
Advances in Machine Learning II | 2010-03-23 | Paper |
Layer Supported Models of Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Progress in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
Progress in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
| scientific article; zbMATH DE number 5545570 (Why is no real title available?) | 2009-04-21 | Paper |
Collaborative vs. Conflicting Learning, Evolution and Argumentation
Oppositional Concepts in Computational Intelligence | 2009-01-07 | Paper |
Methodological naturalism and epistemic internalism
Synthese | 2008-07-31 | Paper |
Approved Models for Normal Logic Programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Preferential theory revision
Journal of Applied Logic | 2008-03-11 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Epistemology and artificial intelligence
Journal of Applied Logic | 2005-09-27 | Paper |
Common-sense reasoning as proto-scientific agent activity
Journal of Applied Logic | 2005-09-27 | Paper |
An encompassing framework for paraconsistent logic programs
Journal of Applied Logic | 2005-05-04 | Paper |
Belief revision via Lamarckian evolution
New Generation Computing | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2088155 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2085237 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085236 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085245 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2044478 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1964816 (Why is no real title available?) | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1954114 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1931648 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931672 (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 1926599 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1884402 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1884401 (Why is no real title available?) | 2003-03-18 | Paper |
Hybrid probabilistic logic programs as residuated logic programs
Studia Logica | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1844513 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1759388 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1827455 (Why is no real title available?) | 2002-11-13 | Paper |
LUPS -- A language for updating logic programs
Artificial Intelligence | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1759369 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1703882 (Why is no real title available?) | 2002-02-13 | Paper |
| scientific article; zbMATH DE number 1696874 (Why is no real title available?) | 2002-01-28 | 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 |
Strategies in combined learning via logic programs
Machine Learning | 2001-05-20 | Paper |
| scientific article; zbMATH DE number 1453063 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1453067 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1420815 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1269580 (Why is no real title available?) | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 1292289 (Why is no real title available?) | 1999-05-27 | Paper |
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence | 1998-07-16 | 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 |
Automated reasoning in geometry theorem proving with Prolog
Journal of Automated Reasoning | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3688781 (Why is no real title available?) | 1980-01-01 | Paper |
