Foundations of Artificial Intelligence (FAI) Group and Artificial Intelligence Center E-mail: danfis@danfis.cz |
|
Publications
Journal Papers
Conference Papers
Endomorphisms of Lifted Planning Problems
Rostislav Horčík, Daniel Fišer
ICAPS 2021
Endomorphisms of Classical Planning Tasks
Rostislav Horčík, Daniel Fišer
AAAI 2021
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
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
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
-
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.