| Publication | Date of Publication | Type |
|---|
| Revision and updates in possibly action-occurrence-incomplete narratives | 2022-11-02 | Paper |
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
Journal of Artificial Intelligence Research | 2022-05-16 | Paper |
| scientific article; zbMATH DE number 7455708 (Why is no real title available?) | 2022-01-11 | Paper |
Planning with Incomplete Information in Quantified Answer Set Programming
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7453123 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453123 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
An action language for multi-agent domains
Artificial Intelligence | 2021-12-13 | Paper |
| Model reconciliation in logic programs | 2021-12-01 | Paper |
Epistemic argumentation framework: theory and computation
Journal of Artificial Intelligence Research | 2020-12-09 | Paper |
Argumentation-based semantics for logic programs with first-order formulae
PRIMA 2016: Princiles and Practice of Multi-Agent Systems | 2018-07-06 | Paper |
Multi-Context Systems with Preferences
Fundamenta Informaticae | 2018-05-03 | Paper |
Solving distributed constraint optimization problems using logic programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Answer set programming and its applications in planning and multi-agent systems | 2017-09-05 | Paper |
A generic approach to planning in the presence of incomplete information: theory and implementation
Artificial Intelligence | 2015-12-21 | 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 |
Formalizing negotiations using logic programming
ACM Transactions on Computational Logic | 2014-07-17 | 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 |
Logic Programming for Multiagent Planning with Negotiation
Logic Programming | 2012-11-13 | Paper |
Implementing reversible processes in multi-agent action languages using answer set planning
Lecture Notes in Computer Science | 2012-09-21 | Paper |
| CDAOstore: a phylogenetic repository using logic programming and web services | 2012-08-29 | Paper |
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
Correct Reasoning | 2012-07-23 | Paper |
Approximation of action theories and its application to conformant planning
Artificial Intelligence | 2011-06-17 | Paper |
Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Planning for multiagent using ASP-Prolog
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Reasoning about multi-agent domains using action language \(\mathcal{C}\): a preliminary study
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Interacting answer sets
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 |
Logic programs with abstract constraint atoms: the role of computations
Artificial Intelligence | 2010-05-07 | Paper |
Reasoning and planning with cooperative actions for multiagents using answer set programming
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
Answer sets for logic programs with arbitrary abstract constraint atoms
(available as arXiv preprint) | 2009-04-28 | Paper |
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming | 2009-03-10 | Paper |
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Logic Programming | 2009-03-05 | Paper |
Justifications for Logic Programs Under Answer Set Semantics
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 |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | 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 |
A Constructive semantic characterization of aggregates in answer set programming
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
Planning with preferences using logic programming
Theory and Practice of Logic Programming | 2006-08-28 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Reasoning about sensing actions in domains with multi-valued fluents
Studia Logica | 2005-12-02 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2089454 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1931674 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1884393 (Why is no real title available?) | 2003-03-18 | Paper |
An argument-based approach to reasoning with specificity
Artificial Intelligence | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1629872 (Why is no real title available?) | 2001-10-23 | Paper |
Formalizing sensing actions -- a transition function based approach
Artificial Intelligence | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1407685 (Why is no real title available?) | 2000-09-27 | Paper |
