| Publication | Date of Publication | Type |
|---|
Thirty years of Epistemic Specifications
Theory and Practice of Logic Programming | 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
Artificial Intelligence | 2019-08-28 | Paper |
P-log: refinement and a new coherency condition
Annals of Mathematics and Artificial Intelligence | 2019-08-13 | Paper |
Some properties of system descriptions of \(\mathcal{AL}_d\)
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Modular action language \(\mathcal{ALM}\)
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Vicious circle principle and formation of sets in ASP based languages
(available as arXiv preprint) | 2017-09-05 | Paper |
A theory of intentions for intelligent agents (extended abstract)
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Vicious circle principle and logic programs with aggregates
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Towards answer set programming with sorts
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| Personal perspective on the development of logic programming based KR languages | 2013-02-28 | Paper |
Reasoning about the intentions of agents
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Toward Question Answering in Travel Domains
Correct Reasoning | 2012-07-23 | Paper |
Approximation of action theories and its application to conformant planning
Artificial Intelligence | 2011-06-17 | Paper |
New semantics for epistemic specifications
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| Causal and probabilistic reasoning in P-log | 2011-05-06 | Paper |
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming | 2009-03-10 | Paper |
Authorization and Obligation Policies in Dynamic Systems
Logic Programming | 2009-01-22 | Paper |
Integrating Answer Set Reasoning with Constraint Solving Techniques
Functional and Logic Programming | 2008-04-11 | Paper |
Enhancing ASP Systems for Planning with Temporal Constraints
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Answer set based design of knowledge systems
Annals of Mathematics and Artificial Intelligence | 2006-12-20 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Alan: An action language for modelling non-Markovian domains
Studia Logica | 2005-12-02 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 1931698 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1926645 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1884392 (Why is no real title available?) | 2003-03-18 | Paper |
Logic programming and knowledge representation---The A-Prolog perspective
Artificial Intelligence | 2002-07-15 | Paper |
On methodology of representing knowledge in dynamic domains
Science of Computer Programming | 2002-03-13 | Paper |
LP-functions as a tool for knowledge representation
Programming and Computer Software | 2001-11-06 | Paper |
| Reasoning agents in dynamic domains | 2001-08-30 | Paper |
| scientific article; zbMATH DE number 1499109 (Why is no real title available?) | 2000-09-03 | Paper |
Building a knowledge base: An example
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1407683 (Why is no real title available?) | 2000-03-27 | Paper |
| scientific article; zbMATH DE number 1222413 (Why is no real title available?) | 1999-06-21 | Paper |
Expanding queries to incomplete databases by interpolating general logic programs
The Journal of Logic Programming | 1998-10-04 | Paper |
Reasoning about effects of concurrent actions
The Journal of Logic Programming | 1997-09-04 | Paper |
Representing actions: Laws, observations and hypotheses
The Journal of Logic Programming | 1997-09-04 | Paper |
Logic programming and reasoning with incomplete information
Annals of Mathematics and Artificial Intelligence | 1997-03-31 | Paper |
Logic programming and knowledge representation
The Journal of Logic Programming | 1995-08-15 | Paper |
Representing action and change by logic programs
The Journal of Logic Programming | 1994-03-20 | Paper |
| scientific article; zbMATH DE number 140388 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 39879 (Why is no real title available?) | 1992-08-03 | Paper |
| scientific article; zbMATH DE number 25190 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 6957 (Why is no real title available?) | 1992-06-25 | Paper |
On the relationship between CWA, minimal model, and minimal herbrand model semantics
International Journal of Intelligent Systems | 1990-01-01 | Paper |
On the relationship between circumscription and negation as failure
Artificial Intelligence | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4106291 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4104925 (Why is no real title available?) | 1989-01-01 | Paper |
Negation as failure: careful closure procedure
Artificial Intelligence | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3817697 (Why is no real title available?) | 1981-01-01 | Paper |
Relationship between the classical and construvtive developments of mathematical analysis
Journal of Soviet Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3550688 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3383982 (Why is no real title available?) | 1969-01-01 | Paper |
