107 citations
- University of BresciaIT25 papers
- Politecnico di MilanoIT6 papers
- Tulane UniversityUS6 papers
- U.S. Air Force Research Laboratory Information Directorate3 papers
- Cardiff UniversityGB2 papers
- DEVCOM Army Research LaboratoryUS2 papers
- Instituto de Óptica "Daza de Valdés"ES2 papers
- KU LeuvenBE2 papers
- Novosibirsk State UniversityRU2 papers
- Sapienza University of RomeIT2 papers
- Scuola Internazionale Superiore di Studi AvanzatiIT2 papers
- United States Army Combat Capabilities Development CommandUS2 papers
7 papers · 1 filter
Two Constraint Compilation Methods for Lifted Planning
Periklis Mantenoglou, Luigi Bonassi, Enrico Scala +1
We study planning in a fragment of PDDL with qualitative state-trajectory constraints, capturing safety requirements, task ordering conditions, and intermediate sub-goals commonly…
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
Ángel Aso-Mollar, Diego Aineto, Enrico Scala +1
In automated planning, control parameters extend standard action representations through the introduction of continuous numeric decision variables. Existing state-of-the-art approa…
Learning Robust Reward Machines from Noisy Labels
Roko Parac, Lorenzo Nodari, Leo Ardon +3
This paper presents PROB-IRM, an approach that learns robust reward machines (RMs) for reinforcement learning (RL) agents from noisy execution traces. The key aspect of RM-driven R…
On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
Vishal Pallagani, Kaushik Roy, Bharath Muppasani +7
Automated Planning and Scheduling is among the growing areas in Artificial Intelligence (AI) where mention of LLMs has gained popularity. Based on a comprehensive review of 126 pap…
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
Matthias Thimm, Federico Cerutti, Mauro Vallati
We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the…
The current state of automated negotiation theory: a literature review
Sam Vente, Angelika Kimmig, Alun Preece +1
Automated negotiation can be an efficient method for resolving conflict and redistributing resources in a coalition setting. Automated negotiation has already seen increased usage…