| Publication | Date of Publication | Type |
|---|
| Thirty years of Epistemic Specifications | 2023-12-12 | Paper |
| An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | 2019-10-24 | Paper |
| Vicious circle principle, aggregates, and formation of sets in ASP based languages | 2019-08-28 | Paper |
| P-log: refinement and a new coherency condition | 2019-08-13 | Paper |
| Some properties of system descriptions of | 2018-08-28 | Paper |
| Modular action language | 2017-11-09 | Paper |
| Vicious circle principle and formation of sets in ASP based languages | 2017-09-05 | Paper |
| A Theory of Intentions for Intelligent Agents | 2015-11-04 | Paper |
| Vicious Circle Principle and Logic Programs with Aggregates | 2014-11-25 | Paper |
| Towards Answer Set Programming with Sorts | 2013-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906888 | 2013-02-28 | Paper |
| Reasoning about the Intentions of Agents | 2012-07-23 | Paper |
| Toward Question Answering in Travel Domains | 2012-07-23 | Paper |
| Approximation of action theories and its application to conformant planning | 2011-06-17 | Paper |
| New Semantics for Epistemic Specifications | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996262 | 2011-05-06 | Paper |
| Integrating answer set programming and constraint logic programming | 2009-07-06 | Paper |
| Probabilistic reasoning with answer sets | 2009-03-10 | Paper |
| Authorization and Obligation Policies in Dynamic Systems | 2009-01-22 | Paper |
| Integrating Answer Set Reasoning with Constraint Solving Techniques | 2008-04-11 | Paper |
| Enhancing ASP Systems for Planning with Temporal Constraints | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Answer set based design of knowledge systems | 2006-12-20 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Alan: An action language for modelling non-Markovian domains | 2005-12-02 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Diagnostic reasoning with A-Prolog | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708959 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707773 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798012 | 2003-03-18 | Paper |
| Logic programming and knowledge representation---The A-Prolog perspective | 2002-07-15 | Paper |
| LP-functions as a tool for knowledge representation | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734940 | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501163 | 2000-09-03 | Paper |
| Building a knowledge base: An example | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940938 | 2000-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217936 | 1999-06-21 | Paper |
| Expanding queries to incomplete databases by interpolating general logic programs | 1998-10-04 | Paper |
| Reasoning about effects of concurrent actions | 1997-09-04 | Paper |
| Representing actions: Laws, observations and hypotheses | 1997-09-04 | Paper |
| Logic programming and reasoning with incomplete information | 1997-03-31 | Paper |
| Logic programming and knowledge representation | 1995-08-15 | Paper |
| Representing action and change by logic programs | 1994-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028795 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993678 | 1992-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983043 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713940 | 1992-06-25 | Paper |
| On the relationship between CWA, minimal model, and minimal herbrand model semantics | 1990-01-01 | Paper |
| On the relationship between circumscription and negation as failure | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829537 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830545 | 1989-01-01 | Paper |
| Negation as failure: careful closure procedure | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3665098 | 1981-01-01 | Paper |
| Relationship between the classical and construvtive developments of mathematical analysis | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124824 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654017 | 1969-01-01 | Paper |
