Daniel Fišer
Associate Professor at
Department of Computer Science
Aalborg University
E-mail: danfis@danfis.cz, dafi@cs.aau.dk
Publications
Journal Papers
-
Boosting Optimal Symbolic Planning: Operator-Potential HeuristicsArtificial Intelligence Journal (2024)
-
The 2023 International Planning CompetitionAI Magazine (2024)
-
Fact-Alternating Mutex Groups for Classical PlanningJAIR 61: 475-521 (2018)
-
Growing neural gas efficientlyNeurocomputing 104: 72-82 (2013)
Conference Papers
-
Symbolic Greedy Best-First Search with Operator-Potential HeuristicsSoCS 2026
-
Beyond Pruning: Leveraging Dominance Relations for Heuristic PropagationICAPS 2026
-
Finding a Dominating State in a Haystack: Efficient Data Structures for Dominance PruningICAPS 2026
-
Improved Generalized Planning with LLMs through Strategy Refinement and ReflectionICAPS 2026
-
Is This a Good Decision? Action Optimality Checking in Classical PlanningECAI 2025
-
Potential Heuristics: Weakening Consistency ConstraintsICAPS 2025
-
On Picking Good Policies: Leveraging Action-Policy Testing in Policy TrainingICAPS 2025
-
Automating the Generation of Prompts for LLM-based Action Choice in PDDL PlanningICAPS 2025
-
Per-Domain Generalizing Policies: On Validation Instances and Scaling BehaviorICAPS 2025
-
Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance ApproximationECAI 2024
-
Towards Feasible Higher-Dimensional Potential HeuristicsICAPS 2024
-
New Fuzzing Biases for Action Policy TestingICAPS 2024
-
Gaifman Graphs in Lifted PlanningECAI 2023
-
A Landmark-Cut Heuristic for Lifted Optimal PlanningECAI 2023
-
Operator Pruning using Lifted Mutex Groups via Compilation on Lifted LevelICAPS 2023🏆 ICAPS’23 Best Paper Award, Runner Up
-
Operator-Potentials in Symbolic Search: From Forward to Bi-Directional SearchICAPS 2022
-
Beyond Stars - Generalized Topologies for Decoupled SearchICAPS 2022
-
Debugging a Policy: Automatic Action-Policy Testing in AI PlanningICAPS 2022
-
Operator-Potential Heuristics for Symbolic SearchAAAI 2022🏆 Honorable Mention in AAAI’22 Outstanding Paper Awards
-
Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation HeuristicsAAAI 2022
-
Custom-Design of FDR Encodings: The Case of Red-Black PlanningIJCAI 2021
-
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted PlanningIJCAI 2021
-
Endomorphisms of Lifted Planning ProblemsICAPS 2021
-
Endomorphisms of Classical Planning TasksAAAI 2021
-
On the Reversibility of Actions in PlanningKR 2020, 652-661
-
Strengthening Potential Heuristics with Mutexes and DisambiguationsICAPS 2020, 124-133
-
Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning ProblemsAAAI 2020, 9835-9842
-
Operator Mutexes and Symmetries for Simplifying Planning TasksAAAI 2019, 7586-7593
-
Privacy Leakage of Search-based Multi-Agent Planning AlgorithmsICAPS 2019, 482-490
-
Cost Partitioning for Multi-agent PlanningICAART 2019, Vol. 2, 40-49
-
A General Approach to Distributed and Privacy-Preserving Heuristic ComputationAgents and Artificial Intelligence 2019, 55-71
-
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract)IJCAI 2018, Journal track, 5603-5607
-
Concise Finite-Domain Representations for Factored MA-PDDL Planning TasksICAART 2018, Vol. 2, 306-313
-
Potential Heuristics for Multi-Agent PlanningICAPS 2016, 308-316
-
Admissible Landmark Heuristic for Multi-Agent PlanningICAPS 2015, 211-219
-
Techniques for Modeling Simulation Environments for Modular RoboticsMATHMOD 2012
-
AR-Drone as a Platform for Robotic Research and EducationEurobot Conference 2011, 172-186
Workshop Papers / Extended Abstracts
-
Per-Domain Generalizing Policies for Classical Planning: On Scaling Behavior and Validation InstancesWorkshop on Generalization in Planning (GenPlan), at AAAI’25
-
Automating the Generation of Prompts for LLM-based Action Choice in PDDL PlanningWorkshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS’24.
-
Action Policy Explanations in Oversubscription PlanningInternational Workshop of Human-Aware and Explainable Planning (HAXP’23), at ICAPS’23.
-
Action Policy Testing with Heuristic-Based Bias FunctionsWorkshop on Reliable Data-Driven Planning and Scheduling (RDDPS’23), at ICAPS’23.
-
Introducing Operator-Potential Heuristics for Symbolic SearchHSDIP 2021
-
MAPlanCoDMAP 2015, 8-10
-
Comparison of RPG-based FF and DTG-based FF Disrtibuted HeuristicsDMAP 2015, 77-82
-
A Light-Weight Robot Simulator for Modular RoboticsFirst International Workshop, MESAS 2014, 206-216
-
Bringing Reality to Evolution of Modular Robots: Bio-Inspired Techniques for Building a Simulation Environment in the SYMBRION ProjectReconfigurable Modular Robotics: Challenges of Mechatronic and Bio-Chemo 2011
Theses
- PhD thesis: Mutual Exclusion State Invariants in Classical Planning (defended 2021)
- Master’s thesis: Inference of State Invariants for Domain-Independent Planning (2016), Dean award for an exceptional master thesis
Software
- cpddl — library with algorithms for automated planning
- pddl-data — repository of (MA-)PDDL problems.
- maplan — (MA-)PDDL planner.
- libccd — library for collision detection between convex shapes.
- gnn — library implementing several growing neural network algorithms.
- cu — C Unit Testing Framework
- boruvka — C library implementing some basic mathematical routines and low level algorithms.
- QShowDiff — a tool for visualisation of diffs generated from various VCS systems.
- pitweb — pythonic web interface for git repositories.
- opts — library for parsing command line options.
- Sim — a robotic simulator.
- SVT — a tool for visualization of 2D and 3D objects.