research
∙
08/11/2021
Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods
We study a variation of the Stable Marriage problem, where every man and...
share
research
∙
08/10/2021
Knowledge-Based Stable Roommates Problem: A Real-World Application
The Stable Roommates problem with Ties and Incomplete lists (SRTI) is a ...
research
∙
09/22/2020
Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming
We study a dynamic version of multi-agent path finding problem (called D...
research
∙
09/22/2020
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
We investigate the use of Answer Set Programming to solve variations of ...
research
∙
08/10/2020
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
We propose a novel formal framework (called 3D-nCDC-ASP) to represent an...
research
∙
08/08/2020
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
The multi-agent path finding (MAPF) problem is a combinatorial search pr...
research
∙
08/08/2020
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
For planning an assembly of a product from a given set of parts, robots ...
research
∙
08/07/2020
A General Framework for Stable Roommates Problems using Answer Set Programming
The Stable Roommates problem (SR) is characterized by the preferences of...
research
∙
09/17/2019
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
08/10/2019
Introduction to the 35th International Conference on Logic Programming Special Issue
We are proud to introduce this special issue of Theory and Practice of L...
research
∙
06/20/2019
Object Placement on Cluttered Surfaces: A Nested Local Search Approach
For planning rearrangements of objects in a clutter, it is required to k...
research
∙
03/02/2019
A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
We study robot construction problems where multiple autonomous robots re...
research
∙
07/19/2017
Hybrid Conditional Planning using Answer Set Programming
We introduce a parallel offline algorithm for computing hybrid condition...
research
∙
12/20/2013
Generating Shortest Synchronizing Sequences using Answer Set Programming
For a finite state automaton, a synchronizing sequence is an input seque...
research
∙
09/24/2013
Generating Explanations for Biomedical Queries
We introduce novel mathematical models and algorithms to generate (short...
research
∙
07/29/2013
ReAct! An Interactive Tool for Hybrid Planning in Robotics
We present ReAct!, an interactive tool for high-level reasoning for cogn...
research
∙
07/29/2013
Integration of 3D Object Recognition and Planning for Robotic Manipulation: A Preliminary Report
We investigate different approaches to integrating object recognition an...
research
∙
07/29/2013
Levels of Integration between Low-Level Reasoning and Task Planning
We provide a systematic analysis of levels of integration between discre...
research
∙
08/16/2011
Finding Similar/Diverse Solutions in Answer Set Programming
For some computational problems (e.g., product configuration, planning, ...
research
∙
12/09/2010
Querying Biomedical Ontologies in Natural Language using Answer Set
In this work, we develop an intelligent user interface that allows users...
research
∙
03/09/2000