activity
20002021
most citedFages' Theorem and Answer Set Programming

39 citations · 97 across the 16 of their papers we have counts for

collaborators
Showing 2020 · cs.AIShow all

6 papers · 2 filters

cs.AI2020★ 3 cited

Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming

Basem Atiq, Volkan Patoglu, Esra Erdem

We study a dynamic version of multi-agent path finding problem (called D-MAPF) where existing agents may leave and new agents may join the team at different times. We introduce a n…

cs.AI2020★ 1 cited

Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

Esra Erdem, Andreas Herzig

We investigate the use of Answer Set Programming to solve variations of gossip problems, by modeling them as epistemic planning problems.

cs.AI2020

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Yusuf Izmirlioglu, Esra Erdem

We propose a novel formal framework (called 3D-nCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Pr…

cs.AI2020

Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming

Aysu Bogatarkan, Esra Erdem

The multi-agent path finding (MAPF) problem is a combinatorial search problem that aims at finding paths for multiple agents (e.g., robots) in an environment (e.g., an autonomous w…

cs.AI2020★ 15 cited

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

Momina Rizwan, Volkan Patoglu, Esra Erdem

For planning an assembly of a product from a given set of parts, robots necessitate certain cognitive skills: high-level planning is needed to decide the order of actuation actions…

cs.AI2020

A General Framework for Stable Roommates Problems using Answer Set Programming

Esra Erdem, Muge Fidan, David Manlove +1

The Stable Roommates problem (SR) is characterized by the preferences of agents over other agents as roommates: each agent ranks all others in strict order of preference. A solutio…