
Dynamic MultiAgent Path Finding based on Conflict Resolution using Answer Set Programming
We study a dynamic version of multiagent path finding problem (called D...
read it

Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
We investigate the use of Answer Set Programming to solve variations of ...
read it

Reasoning about Cardinal Directions between 3Dimensional Extended Objects using Answer Set Programming
We propose a novel formal framework (called 3DnCDCASP) to represent an...
read it

Explanation Generation for MultiModal MultiAgent Path Finding with Optimal Resource Utilization using Answer Set Programming
The multiagent path finding (MAPF) problem is a combinatorial search pr...
read it

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
For planning an assembly of a product from a given set of parts, robots ...
read it

A General Framework for Stable Roommates Problems using Answer Set Programming
The Stable Roommates problem (SR) is characterized by the preferences of...
read it

Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
read it

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...
read it

Object Placement on Cluttered Surfaces: A Nested Local Search Approach
For planning rearrangements of objects in a clutter, it is required to k...
read it

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
We study robot construction problems where multiple autonomous robots re...
read it

Hybrid Conditional Planning using Answer Set Programming
We introduce a parallel offline algorithm for computing hybrid condition...
read it

Generating Shortest Synchronizing Sequences using Answer Set Programming
For a finite state automaton, a synchronizing sequence is an input seque...
read it

Generating Explanations for Biomedical Queries
We introduce novel mathematical models and algorithms to generate (short...
read it

ReAct! An Interactive Tool for Hybrid Planning in Robotics
We present ReAct!, an interactive tool for highlevel reasoning for cogn...
read it

Integration of 3D Object Recognition and Planning for Robotic Manipulation: A Preliminary Report
We investigate different approaches to integrating object recognition an...
read it

Levels of Integration between LowLevel Reasoning and Task Planning
We provide a systematic analysis of levels of integration between discre...
read it

Finding Similar/Diverse Solutions in Answer Set Programming
For some computational problems (e.g., product configuration, planning, ...
read it

Querying Biomedical Ontologies in Natural Language using Answer Set
In this work, we develop an intelligent user interface that allows users...
read it

Fages' Theorem and Answer Set Programming
We generalize a theorem by Francois Fages that describes the relationshi...
read it
Esra Erdem
is this you? claim profile