| Publication | Date of Publication | Type |
|---|
Qualitative reasoning about 2D cardinal directions using answer set programming
The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
Hybrid planning for challenging construction problems: an answer set programming approach
Artificial Intelligence | 2023-06-27 | Paper |
| scientific article; zbMATH DE number 7546761 (Why is no real title available?) | 2022-06-23 | Paper |
| scientific article; zbMATH DE number 7455705 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455705 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7455721 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455721 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
Human robot collaborative assembly planning: an answer set programming approach
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
A General Framework for Stable Roommates Problems using Answer Set Programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Generating explanations for biomedical queries
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Hybrid conditional planning using answer set programming
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
Diagnostic reasoning for robotics using action languages
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Finding similar/diverse solutions in answer set programming
Theory and Practice of Logic Programming | 2013-06-14 | Paper |
Applications of action languages in cognitive robotics
Correct Reasoning | 2012-07-23 | Paper |
Vladimir Lifschitz — A Youth at 65
Correct Reasoning | 2012-07-23 | Paper |
Computing weighted solutions in ASP: representation-based method vs. search-based method
Annals of Mathematics and Artificial Intelligence | 2012-05-23 | Paper |
Updating action domain descriptions
Artificial Intelligence | 2011-01-31 | Paper |
Computing Weighted Solutions in Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Representing Action Domains with Numeric-Valued Fluents
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Comparing Action Descriptions Based on Semantic Preferences
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Undoing the effects of action sequences
Journal of Applied Logic | 2008-09-23 | Paper |
Inferring phylogenetic trees using answer set programming
Journal of Automated Reasoning | 2008-01-22 | Paper |
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 5201473 (Why is no real title available?) | 2007-10-17 | Paper |
Temporal phylogenetic networks and logic programming
Theory and Practice of Logic Programming | 2006-08-28 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Tight logic programs
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 2085281 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1954109 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1696838 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1396180 (Why is no real title available?) | 2000-06-13 | Paper |
| scientific article; zbMATH DE number 1453059 (Why is no real title available?) | 2000-05-25 | Paper |
