From

Institution

Field

Type

Topic: AI-based Problem Solving and Planning ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers in AI-based Problem Solving and Planning 77

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

Optimal Planning Modulo Theories
2020 International Joint Conference on Artificial Intelligence conference-paper Computer Science AI-based Problem Solving and Planning Open access

Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella

20

citations
Modelling Automated Planning Problems for Teams of Mobile Manipulators in a Generic Industrial Scenario
2022 Applied Sciences article Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Burkhard J. Corves

8

citations
Improved AI Planning for Cooperating Teams of Humans and Robots
2020 Zenodo (CERN European Organization for Nuclear Research) article Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Burkhard J. Corves

6

citations
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules
2023 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Jendrik Seipp, Héctor Geffner

6

citations
Timeline-based planning over dense temporal domains
2020 Theoretical Computer Science article Computer Science AI-based Problem Solving and Planning Open access

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger

6

citations
Self-Optimizing Agents Using Mixed Initiative Behavior Trees
2023 conference-paper Computer Science AI-based Problem Solving and Planning

Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer

4

citations
Macro Operator Synthesis for ADL Domains
2020 Frontiers in artificial intelligence and applications book-chapter Computer Science AI-based Problem Solving and Planning Open access cited by 1 patent

Till Hofmann, Tim Niemueller, Gerhard Lakemeyer

4

citations
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models
2021 Proceedings - IEEE International Conference on Robotics and Automation/Proceedings conference-paper Computer Science AI-based Problem Solving and Planning Open access

Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer

3

citations
Case Study: AI Task Planning Setup for an Industrial Scenario with Mobile Manipulators
2021 RWTH Publications (RWTH Aachen) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Malte Kaiser, Burkhard J. Corves

2

citations
Towards Automatic State Recovery for Replanning
2022 Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Gerard Canal, Andrew Coles, Michael Cashmore, Burkhard J. Corves

2

citations
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
2022 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer

2

citations
Automating Workflow/Pipeline Design
2022 Cognitive technologies book-chapter Computer Science AI-based Problem Solving and Planning Open access

Pavel Brazdil, Jan N. van Rijn, Carlos Soares, Joaquin Vanschoren

2

citations
Learning Lifted Action Models from Traces of Incomplete Actions and States
2025 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Héctor Geffner

1

citations
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
2021 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

1

citations
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
2021 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Daniel Habering, Till Hofmann, Gerhard Lakemeyer

1

citations
GOLOG++ Hits the (Right) Spot: Interfacing Golog with a Quadruped Rescue Robot for High-Level Missions
2024 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Maximillian Kirsch, Alexander Ferrein, Stefan Schiffer

1

citations
Combined Task and Motion Planning via Sketch Decompositions
2024 Proceedings of the International Conference on Automated Planning and Scheduling conference-paper Computer Science AI-based Problem Solving and Planning Open access

Magi Dalmau Moreno, Néstor García, Vicenç Gómez, Héctor Geffner

1

citations
An Analysis of the Decidability and Complexity of Numeric Additive Planning
2024 Proceedings of the International Conference on Automated Planning and Scheduling conference-paper Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

1

citations
General Policies, Subgoal Structure, and Planning Width
2024 Journal of Artificial Intelligence Research article Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Héctor Geffner

1

citations
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains
2024 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann, Hector Geffner

1

citations
Learning to Ground Existentially Quantified Goals
2024 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Martin Funkquist, Simon Ståhlberg, Héctor Geffner

1

citations
Symmetries and Expressive Requirements for Learning General Policies
2024 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Simon Ståhlberg, Blai Bonet, Héctor Geffner

1

citations
Integrating golog++ and ROS for Practical and Portable High-level Control
2020 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Maximillian Kirsch, Victor Mataré, Alexander Ferrein, Stefan Schiffer

1

citations
An Action Interface Manager for ROSPlan
2021 RWTH Publications (RWTH Aachen) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Gerard Canal, Michael Cashmore, Burkhard J. Corves

1

citations
Learning to Use Tools via Cooperative and Interactive Agents
2024 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Zhengliang Shi, Shen Gao, Xiuyi Chen, Lingyong Yan, Haibo Shi, Dawei Yin, +3 more

1

citations