Publications

Highlights

(For a full list see below or go to Google Scholar

Hybrid Conditional Planning for Robotic Applications

Conditional planning is concerned with reaching goals from an initial state, in the presence of incomplete knowledge and partial observability, by considering all contingencies and by utilizing sensing actions to gather relevant knowledge when needed. We introduce a parallel offline algorithm, called HCPlan, for computing hybrid conditional plans.

A. Nouman, V. Patoglu, E. Erdem

International Journal of Robotics Research (2020)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

We propose a novel method for collaborative assembly planning under uncertainty, that utilizes hybrid conditional planning extended with commonsense reasoning and a rich set of communication actions for collaborative tasks.

M. Rizwan, V. Patoglu, E. Erdem

Theory and Practice of Logic Programming (2020)

A General Framework for Stable Roommates Problems using Answer Set Programming

We introduce a formal framework, called SRTI-ASP, utilizing the logic programming paradigm Answer Set Programming, that is provable and general enough to solve many of such variations of the Stable Roommates problem.

E. Erdem, M. Fidan. D. F. Manlove, P. Prosser

Theory and Practice of Logic Programming (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 and reason about cardinal directions between extended objects in 3-dimensional space, using Answer Set Programming.

Y. Izmirlioglu, E. Erdem

Theory and Practice of Logic Programming (2020)

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

We consider a general version of the multi-agent path finding (MAPF) problem , called mMAPF, that involves multi-modal transportation modes (e.g., due to velocity constraints) and consumption of different types of resources (e.g., batteries). We focus on explainability, and introduce a method for generating explanations for queries regarding the feasibility and optimality of solutions, the nonexistence of solutions, and the observations about solutions.

A. Bogatarkan, E. Erdem

Theory and Practice of Logic Programming (2020)

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

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

Esra Erdem, Andreas Herzig

ICLP Technical Communications (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-MAPF) where existing agents may leave and new agents may join the team at different times. We introduce a new method to solve D-MAPF based on conflict-resolution.

B. Atiq, V. Patoglu, E. Erdem

ICLP Technical Communications (2020)

Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories

We consider cognitive factories with multiple teams of heterogenous robots, and address two key challenges of these domains, hybrid reasoning for each team and finding an optimal global plan (with minimum makespan) for multiple teams. For hybrid reasoning, we propose modeling each team’s workspace taking into account capabilities of heterogeneous robots, embedding continuous external computations into discrete symbolic representation and reasoning, not only optimizing the makespans of local plans but also minimizing the total cost of robotic actions. To find an optimal global plan, we propose a semi-distributed approach that does not require exchange of information between teams but yet achieves on an optimal coordination of teams that can help each other.

Z. G. Saribatur, V. Patoglu, E. Erdem

Autonomous Robots (2019)

RehabRobo-Query: Answering natural language queries about rehabilitation robotics ontology on the cloud

We introduce a novel method to answer natural language queries about rehabilitation robotics, over the formal ontology RehabRobo-Onto. We introduce a novel method to answer natural language queries about rehabilitation robotics, over the formal ontology RehabRobo-Onto. To facilitate the use of our method by experts, we develop an intelligent, interactive query answering system, called RehabRobo-Query, using Semantic Web technologies, and make it available on the cloud via Amazon web services.

Z. Dogmus, E. Erdem, V. Patoglu

Semantic Web (2019)

A Declarative Method for Dynamic Multi-Agent Path Finding

The multi-agent path finding (MAPF) problem is a combinatorial search problem that aims at finding paths for multiple agents such that no two agents collide with each other. We study a dynamic variant of MAPF, called D-MAPF, which allows changes in the environment (e.g., some existing obstacles may be removed from the environment or moved to some other location, or new obstacles may be included in the environment), and/or changes in the team (e.g., some existing agents may leave and some new agents may join the team) at different times. We introduce a new method to solve D-MAPF, using answer set programming.

A. Bogatarkan, V. Patoglu, E. Erdem

Global Conference on Artificial Intelligence (2019)

Personalized Course Schedule Planning Using Answer Set Programming

Course scheduling or timetabling is a well-known problem that is generally studied from the perspective of schools; the goal is to schedule the courses, considering, e.g., the expected number of students, the sizes of the available classrooms, time conflicts between courses of the same category. We study a complementary problem to help the students during the course registration periods; the goal is to plan personalized course schedules for students, considering, e.g., their preferences over sections, instructors, distribution of the courses. We present a declarative method to compute personalized course schedules, and an application of this method using answer set programming, and discuss promising results of some preliminary user evaluations via surveys.

Muhammed Kerem Kahraman, Esra Erdem

International Symposium on Practical Aspects of Declarative Languages (2018)

Applications of ASP in Robotics

We discuss applications of ASP in robotic planning, considering (1) full observability and complete knowledge and (2) with incomplete knowledge and partial observability. We emphasize the strengths of ASP as a useful knowledge representation and reasoning paradigm to integrate AI and robotics, as well as its flexibility to provide different levels of integration of feasibility checks with planning.

Esra Erdem, Volkan Patoglu

KI - Künstliche Intelligenz (2018)

Qualitative Reasoning About Cardinal Directions Using Answer Set Programming

We propose a novel method for representing and reasoning about an incomplete set of constraints about basic/disjunctive qualitative direction relations over simple/connected/disconnected regions, using Answer Set Programming, and prove its correctness with respect to cardinal direction calculus. We extend this method further with default qualitative direction constraints, and discuss its usefulness with some sample scenarios.

Yusuf Izmirlioglu, Esra Erdem

AAAI Conference on Artificial Intelligence (2018)

Hybrid conditional planning using answer set programming

We introduce a parallel offline algorithm for computing hybrid conditional plans, called HCP-ASP, oriented towards robotics applications. HCP-ASP relies on modeling actuation actions and sensing actions in an expressive nonmonotonic language of answer set programming (ASP), and computation of the branches of a conditional plan in parallel using an ASP solver.

I. F. Yalciner, A. Nouman, V. Patoglu, E. Erdem

Theory and Practice of Logic Programming (2017)

A general formal framework for multi-agent meeting problems

In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems.

Y. Izmirlioglu, B. A. Pehlivan, M. Turp, E. Erdem

IEEE International Conference on Robotics and Automation (2017)

Applications of non-monotonic reasoning to automotive product configuration using answer set programming

In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems.

E Gencay, P. Schuller, E. Erdem

Journal of Intelligent Manufacturing (2017)

A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks

We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level feasibility checks to address hybrid planning problems in robotic applications. We identify four distinct strategies for such an integration; a) low-level checks are done for all possible cases in advance and the results are used during plan generation, b) low-level checks are done exactly when they are needed during the search for a plan, c) low-level checks are done after a plan is computed, and if the plan is found infeasible then a new plan is computed, d) similar to the previous strategy but the results of previous low-level checks are used during computation of a new plan. We analyze the usefulness of these strategies and their combinations by experiments on hybrid planning problems in different robotic application domains, in terms of computational efficiency and plan quality (relative to its feasibility).

Esra Erdem, Volkan Patoglu, Peter Schuller

AI Communications (2016)

Applications of Answer Set Programming

ASP has been applied fruitfully to a wide range of areas in AI and in other fields, both in academia and in industry, thanks to the expressive representation languages of ASP and the continuous improvement of ASP solvers. We present some of these ASP applications, in particular, in knowledge representation and reasoning, robotics, bioinformatics and computational biology as well as some industrial applications. We discuss the challenges addressed by ASP in these applications and emphasize the strengths of ASP as a useful AI paradigm.

Esra Erdem, Michael Gelfond, Nicola Leone

AI Magazine (2016)

Cognitive robotics

For the past decade, robotics has mostly focused on low-level sensing and control tasks such as sensor fusion, path planning, and manipulator design and control. At the same time, the field of Cognitive Robotics made significant progress in equipping robots and software agents with high-level cognitive functions such as reasoning over actions, goals and environments, as well as behaviour planning. Cognitive robots must, for example, be able to reason about goals, space, events, actions and time, when to perceive and what to look for, the cognitive states of other agents, explain observations, perform (collaborative) task execution, etc.

Mehul Bhatt, Esra Erdem, Fredrik Heintz, Michael Spranger

Journal of Experimental and Theoretical Artificial Intelligence (2016)

 

List of Publications

Hybrid Conditional Planning for Robotic Applications
A. Nouman, V. Patoglu, E. Erdem
International Journal of Robotics Research (2020)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
M. Rizwan, V. Patoglu, E. Erdem
Theory and Practice of Logic Programming (2020)

A General Framework for Stable Roommates Problems using Answer Set Programming
E. Erdem, M. Fidan. D. F. Manlove, P. Prosser
Theory and Practice of Logic Programming (2020)

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Y. Izmirlioglu, E. Erdem
Theory and Practice of Logic Programming (2020)

Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
A. Bogatarkan, E. Erdem
Theory and Practice of Logic Programming (2020)

Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
Esra Erdem, Andreas Herzig
ICLP Technical Communications (2020)

Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming
B. Atiq, V. Patoglu, E. Erdem
ICLP Technical Communications (2020)

Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories
Z. G. Saribatur, V. Patoglu, E. Erdem
Autonomous Robots (2019)

RehabRobo-Query: Answering natural language queries about rehabilitation robotics ontology on the cloud
Z. Dogmus, E. Erdem, V. Patoglu
Semantic Web (2019)

A Declarative Method for Dynamic Multi-Agent Path Finding
A. Bogatarkan, V. Patoglu, E. Erdem
Global Conference on Artificial Intelligence (2019)

Personalized Course Schedule Planning Using Answer Set Programming
Muhammed Kerem Kahraman, Esra Erdem
International Symposium on Practical Aspects of Declarative Languages (2018)

Applications of ASP in Robotics
Esra Erdem, Volkan Patoglu
KI - Künstliche Intelligenz (2018)

Qualitative Reasoning About Cardinal Directions Using Answer Set Programming
Yusuf Izmirlioglu, Esra Erdem
AAAI Conference on Artificial Intelligence (2018)

Hybrid conditional planning using answer set programming
I. F. Yalciner, A. Nouman, V. Patoglu, E. Erdem
Theory and Practice of Logic Programming (2017)

A general formal framework for multi-agent meeting problems
Y. Izmirlioglu, B. A. Pehlivan, M. Turp, E. Erdem
IEEE International Conference on Robotics and Automation (2017)

Applications of non-monotonic reasoning to automotive product configuration using answer set programming
E Gencay, P. Schuller, E. Erdem
Journal of Intelligent Manufacturing (2017)

A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks
Esra Erdem, Volkan Patoglu, Peter Schuller
AI Communications (2016)

Applications of Answer Set Programming
Esra Erdem, Michael Gelfond, Nicola Leone
AI Magazine (2016)

Cognitive robotics
Mehul Bhatt, Esra Erdem, Fredrik Heintz, Michael Spranger
Journal of Experimental and Theoretical Artificial Intelligence (2016)