research
∙
08/09/2023
Competitions in AI – Robustly Ranking Solvers Using Statistical Resampling
Solver competitions play a prominent role in assessing and advancing the...
share
research
∙
01/24/2023
Reformulation Techniques for Automated Planning: A Systematic Review
Automated planning is a prominent area of Artificial Intelligence, and a...
research
∙
03/02/2022
On the Configuration of More and Less Expressive Logic Programs
The decoupling between the representation of a certain problem, i.e., it...
research
∙
09/07/2021
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
We present Fudge, an abstract argumentation solver that tightly integrat...
research
∙
11/13/2020
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity
This paper addresses two intertwined needs for collaborative robots oper...
research
∙
10/15/2020
On the Importance of Domain Model Configuration for Automated Planning Engines
The development of domain-independent planners within the AI Planning co...
research
∙
10/02/2020
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
The manipulation of articulated objects is of primary importance in Robo...
research
∙
06/22/2020
Organising a Successful AI Online Conference: Lessons from SoCS 2020
The 13th Symposium on Combinatorial Search (SoCS) was held May 26-28, 20...
research
∙
01/05/2018
On the manipulation of articulated objects in human-robot cooperation scenarios
Articulated and flexible objects constitute a challenge for robot manipu...
research
∙
12/22/2016
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Optimization - minimization or maximization - in the lattice of subsets ...
research
∙
11/11/2014