Foundations of Artificial Intelligence (FAI) Group
Computer Science Department
Universität des Saarlandes

and

Artificial Intelligence Center
Department of Computer Science
Faculty of Electrical Engineering
Czech Technical University in Prague

E-mail: danfis@danfis.cz

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

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

Strengthening Potential Heuristics with Mutexes and Disambiguations
Daniel Fišer, Rostislav Horčík, Antonín Komenda (pdf)
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

  • maplan — (MA-)PDDL planner.

  • pddl-data — repository of (MA-)PDDL problems.

  • cpddl — library for parsing and grounding PDDL files.

  • 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.