| Publication | Date of Publication | Type |
|---|
| Generalized well-founded semantics for logic programs | 2023-04-28 | Paper |
| Revision and updates in possibly action-occurrence-incomplete narratives | 2022-11-02 | Paper |
An action language for multi-agent domains
Artificial Intelligence | 2021-12-13 | Paper |
Incremental and iterative learning of answer set programs from mutually distinct examples
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method
IEEE Transactions on Signal Processing | 2017-10-30 | Paper |
``Add another blue stack of the same height!: ASP based planning and plan failure analysis
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
A non-monotonic goal specification language for planning with preferences
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Finitary \(\mathbf {S5}\)-theories
Logics in Artificial Intelligence | 2015-01-14 | Paper |
| Answering why and how questions with respect to a frame-based knowledge base: a preliminary report | 2014-02-25 | Paper |
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Event-object reasoning with curated knowledge bases: deriving missing information
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
Correct Reasoning | 2012-07-23 | Paper |
The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL
Correct Reasoning | 2012-07-23 | Paper |
On representing actions in multi-agent domains
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Reasoning about multi-agent domains using action language \(\mathcal{C}\): a preliminary study
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Logic programming for finding models in the logics of knowledge and its applications: a case study
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
| Knowledge Representation, Reasoning and Declarative Problem Solving | 2010-07-08 | Paper |
Maintenance goals of agents in a dynamic environment: formulation and policy construction
Artificial Intelligence | 2009-07-17 | Paper |
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming | 2009-03-10 | Paper |
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
Logic Programming | 2009-03-05 | Paper |
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
Logic Programming | 2008-03-11 | 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 | 2007-11-07 | Paper |
Knowledge updates: Semantics and complexity issues
Artificial Intelligence | 2007-10-23 | Paper |
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
Logical Methods in Computer Science | 2007-10-11 | Paper |
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
Theory and Practice of Logic Programming | 2007-07-12 | Paper |
Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Alan: An action language for modelling non-Markovian domains
Studia Logica | 2005-12-02 | Paper |
| Knowledge Representation, Reasoning and Declarative Problem Solving | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1884393 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1884390 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1696842 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696864 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1629872 (Why is no real title available?) | 2001-10-23 | Paper |
| Reasoning agents in dynamic domains | 2001-08-30 | Paper |
Formalizing sensing actions -- a transition function based approach
Artificial Intelligence | 2001-08-20 | Paper |
Computational complexity of planning and approximate planning in the presence of incompleteness
Artificial Intelligence | 2000-10-26 | Paper |
| scientific article; zbMATH DE number 1407685 (Why is no real title available?) | 2000-09-27 | Paper |
Abductive reasoning through filtering
Artificial Intelligence | 2000-08-21 | Paper |
Formalizing narratives using nested circumscription
Artificial Intelligence | 1999-01-12 | Paper |
Value minimization in circumscription
Artificial Intelligence | 1999-01-12 | Paper |
Expanding queries to incomplete databases by interpolating general logic programs
The Journal of Logic Programming | 1998-10-04 | Paper |
Relating logic programming theories of actions and partial order planning
Annals of Mathematics and Artificial Intelligence | 1998-06-23 | Paper |
Embedding revision programs in logic programming situation calculus
The Journal of Logic Programming | 1997-11-13 | 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 |
Generalized disjunctive well-founded semantics for logic programs.
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Logic programming and knowledge representation
The Journal of Logic Programming | 1995-08-15 | Paper |
| scientific article; zbMATH DE number 708662 (Why is no real title available?) | 1995-01-09 | Paper |
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
Journal of Automated Reasoning | 1994-03-13 | Paper |
Stable and extension class theory for logic programs and default logics
Journal of Automated Reasoning | 1993-01-16 | Paper |
