Foundations of Artificial Intelligence (FAI) Group
Computer Science Department
Universität des Saarlandes
Building E 1.1, Room R 3.08.2

E-mail: danfis@danfis.cz, danfis@cs.uni-saarland.de

gitlab github DBLP Google Scholar

profile.jpg

Publications

Journal Papers

Fact-Alternating Mutex Groups for Classical Planning (pdf, doi, bibtex)
Daniel Fišer, Antonín Komenda
JAIR 61: 475-521 (2018)

Growing neural gas efficiently (pdf, doi, bibtex)
Daniel Fišer, Jan Faigl, Miroslav Kulich
Neurocomputing 104: 72-82 (2013)

Conference Papers

Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search
Daniel Fišer, Álvaro Torralba, Jörg Hoffmann
ICAPS 2022

Beyond Stars - Generalized Topologies for Decoupled Search
Daniel Gnad, Álvaro Torralba, Daniel Fišer
ICAPS 2022

Debugging a Policy: Automatic Action-Policy Testing in AI Planning
Marcel Steinmetz, Daniel Fišer, Hasan Ferit Enişer, Patrick Ferber, Timo Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Joerg Hoffmann
ICAPS 2022

Operator-Potential Heuristics for Symbolic Search (pdf, appendix)
Daniel Fišer, Álvaro Torralba, Jörg Hoffmann
AAAI 2022
This paper received Honorable Mention in AAAI’22 Outstanding Paper Awards

Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics (pdf)
Rostislav Horčík, Daniel Fišer, Álvaro Torralba
AAAI 2022

Custom-Design of FDR Encodings: The Case of Red-Black Planning (pdf, link)
Daniel Fišer, Daniel Gnad, Michael Katz, Jörg Hoffmann
IJCAI 2021

Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning (link)
Pascal Lauer, Álvaro Torralba, Daniel Fišer, Daniel Höller, Julia Wichlacz, Jörg Hoffmann
IJCAI 2021

Endomorphisms of Lifted Planning Problems (link)
Rostislav Horčík, Daniel Fišer
ICAPS 2021

Endomorphisms of Classical Planning Tasks (link)
Rostislav Horčík, Daniel Fišer
AAAI 2021

On the Reversibility of Actions in Planning (link)
Michael Morak, Lukáš Chrpa, Wolfgang Faber, Daniel Fišer
KR 2020, 652-661

Strengthening Potential Heuristics with Mutexes and Disambiguations (pdf)
Daniel Fišer, Rostislav Horčík, Antonín Komenda
ICAPS 2020, 124-133

Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems (pdf, doi)
Daniel Fišer
AAAI 2020, 9835-9842

Operator Mutexes and Symmetries for Simplifying Planning Tasks (pdf, slides, poster, doi)
Daniel Fišer, Álvaro Torralba, Alexander Shleyfman
AAAI 2019, 7586-7593

Privacy Leakage of Search-based Multi-Agent Planning Algorithms (pdf)
Michal Štolba, Daniel Fišer, Antonín Komenda
ICAPS 2019, 482-490

Cost Partitioning for Multi-agent Planning (pdf,bibtex)
Michal Štolba, Michaela Urbanovská, Daniel Fišer, Antonín Komenda
ICAART 2019, Vol. 2, 40-49

A General Approach to Distributed and Privacy-Preserving Heuristic Computation (link)
Michal Štolba, Michaela Urbanovská, Daniel Fišer, Antonín Komenda
Agents and Artificial Intelligence 2019, 55-71

Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) (pdf, doi)
Daniel Fišer, Antonín Komenda
IJCAI 2018, Journal track, 5603-5607

Concise Finite-Domain Representations for Factored MA-PDDL Planning Tasks (pdf, doi, bibtex)
Daniel Fišer, Antonín Komenda
ICAART 2018, Vol. 2, 306-313

Potential Heuristics for Multi-Agent Planning (pdf, bibtex)
Michal Štolba, Daniel Fišer, Antonín Komenda
ICAPS 2016, 308-316

Admissible Landmark Heuristic for Multi-Agent Planning (pdf, bibtex)
Michal Štolba, Daniel Fišer, Antonín Komenda
ICAPS 2015, 211-219

MAPlan (pdf, bibtex)
Daniel Fišer, Michal Štolba, Antonín Komenda
CoDMAP 2015, 8-10

Comparison of RPG-based FF and DTG-based FF Disrtibuted Heuristics (pdf, bibtex)
Michal Štolba, Daniel Fišer, Antonín Komenda
DMAP 2015, 77-82

A Light-Weight Robot Simulator for Modular Robotics (doi, bibtex)
Vojtěch Vonásek, Daniel Fišer, Karel Košnar, Libor Přeučil
First International Workshop, MESAS 2014, 206-216

Techniques for Modeling Simulation Environments for Modular Robotics (pdf, bibtex)
Vojtěch Vonásek, Miroslav Kulich, Tomáš Krajník, Martin Saska, Daniel Fišer, Vladimír Petrík, Libor Přeučil
MATHMOD 2012

AR-Drone as a Platform for Robotic Research and Education (pdf, doi, bibtex)
Tomáš Krajník, Vojtěch Vonásek, Daniel Fišer, Jan Faigl
Eurobot Conference 2011, 172-186

Bringing Reality to Evolution of Modular Robots: Bio-Inspired Techniques for Building a Simulation Environment in the SYMBRION Project (pdf, bibtex)
Martin Saska, Vojtěch Vonásek, Miroslav Kulich, Daniel Fišer, Tomáš Krajnık, Libor Přeučil
Reconfigurable Modular Robotics: Challenges of Mechatronic and Bio-Chemo 2011

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.