Publications

2014

Jörg Hoffmann, Peter Kissmann, and Álvaro Torralba: ``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability, 21st European Conference on Artificial Intelligence (ECAI)
Stefan Edelkamp, Peter Kissmann, and Martha Rohte: Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four, 24th International Conference on Automated Planning and Scheduling (ICAPS)
Jörg Hoffmann, Peter Kissmann, and Álvaro Torralba: ``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability, 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP)
Thorsten Rauber, Denis Müller, Peter Kissmann, and Jörg Hoffmann: Delete Relaxation and Traps in General Two-Player Zero-Sum Games, 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP)

2013

Peter Kissmann: Gamer - Past, Present, Future. Symbolic Search in Planning, 27th KI-Workshop on Planung / Scheduling und Konfigurieren / Entwerfen (PuK); invited talk
Stefan Edelkamp, Martha Rohte, and Peter Kissmann: Combining Symbolic with Bitvector Memory-Limited Search for Solving Games, 27th KI-Workshop on Planung / Scheduling und Konfigurieren / Entwerfen (PuK)
Thorsten Rauber, Peter Kissmann, and Jörg Hoffmann: Translating Single-Player GDL into PDDL, 36th German Conference on Artificial Intelligence (KI), 188-199
Álvaro Torralba, Stefan Edelkamp, and Peter Kissmann: Transition Trees for Cost-Optimal Symbolic Planning, 23rd International Conference on Automated Planning and Scheduling (ICAPS), 206-214
Peter Kissmann and Jörg Hoffmann: What's in It for My BDD? On Causal Graphs and Variable Orders in Planning, 23rd International Conference on Automated Planning and Scheduling (ICAPS), 327-331

2012

Phd Thesis:
Peter Kissmann: Symbolic Search in Planning and General Game Playing, Universität Bremen, Germany, (PDF)
Stefan Edelkamp, Tim Federholzner, and Peter Kissmann: Searching with Partial Belief States in General Games with Incomplete Information, 35th German Conference on Artificial Intelligence (KI), 25-36
Stefan Edelkamp, Peter Kissmann, and Álvaro Torralba: Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction, 20th European Conference on Artificial Intelligence (ECAI), 306-311
Stefan Edelkamp, Peter Kissmann, and Álvaro Torralba: Advances in BDD Search: Filtering, Partitioning, and Bidirectionally Blind, 3rd ICAPS-Workshop on the International Planning Competition (IPC), 10-18
Stefan Edelkamp, Peter Kissmann, and Álvaro Torralba: Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction, 4th ICAPS-Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP)
Stefan Edelkamp, Peter Kissmann, and Álvaro Torralba: Lex-Partitioning: A New Option for BDD Search, 1st Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE), 66-82

2011

Peter Kissmann and Stefan Edelkamp: Improving Cost-Optimal Domain-Independent Symbolic Planning, 25th AAAI Conference on Artificial Intelligence (AAAI), 992-997
Stefan Edelkamp and Peter Kissmann: On the Complexity of BDDs for State Space Search: A Case Study in Connect Four, 25th AAAI Conference on Artificial Intelligence (AAAI), 18-23
Stefan Edelkamp and Peter Kissmann: On the Complexity of BDDs for State Space Search: A Case Study in Connect Four, IJCAI-Workshop on General Intelligence in Game-Playing Agents (GIGA)
Damian Sulewski, Stefan Edelkamp, and Peter Kissmann: Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU, 21st International Conference on Automated Planning and Scheduling (ICAPS), 242-249
Peter Kissmann and Stefan Edelkamp: Gamer, a General Game Playing Agent, KI - Zeitschrift Künstliche Intelligenz (Special Issue on General Game Playing) volume 25, 49-52

2010

Peter Kissmann and Stefan Edelkamp: Instantiating General Games using Prolog or Dependency Graphs, 33rd Annual German Conference on Artificial Intelligence (KI), 255-262
Peter Kissmann and Stefan Edelkamp: Layer-Abstraction for Symbolically Solving General Two-Player Games, 3rd International Symposium on Combinatorial Search (SoCS)
Peter Kissmann and Stefan Edelkamp: Layer-Abstraction for Symbolically Solving General Two-Player Games, ICAPS-Workshop on Planning in Games
Stefan Edelkamp, Peter Kissmann, Damian Sulewski, and Hartmut Messerschmidt: Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search, Multi-Konferenz Wirtschaftsinformatik: Planung / Scheduling und Konfigurieren / Entwerfen (PuK), 2295-2308

2009

Peter Kissmann: BDDs in Planning and General Game Playing, Dagstuhl-Seminar on Graph Search Engineering, 11-12 (abstract only)
Peter Kissmann and Stefan Edelkamp: Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game, 32nd Annual German Conference on Artificial Intelligence (KI), 1-8
Peter Kissmann and Stefan Edelkamp: Gamer: A Hybrid General Game Player, KI-Workshop on Planung / Scheduling und Konfigurieren / Entwerfen (PuK), 188 (abstract only)
Stefan Edelkamp and Peter Kissmann: Optimal Symbolic Planning with Action Costs and Preferences 21st International Joint Conference on Artificial Intelligence (IJCAI), 1690-1695
Peter Kissmann and Stefan Edelkamp: Instantiating General Games, IJCAI-Workshop on General Intelligence in Game-Playing Agents (GIGA), 43-50
Stefan Edelkamp, Thomas Wagner, and Peter Kissmann: Cost-Optimal Symbolic Abduction for Improved Security, ICAPS-Workshop on Security and Artificial Intelligence (SecArt)

2008

Peter Kissmann and Stefan Edelkamp: Gamer: Fully-Observable Non-Deterministic Planning via PDDL-Translation into a Game, 6th International Planning Competition, Non-Deterministic Track (IPPC)
Stefan Edelkamp and Peter Kissmann: GAMER: Bridging Planning and General Game Playing with Symbolic Search, 6th International Planning Competition (IPC)
Stefan Edelkamp and Peter Kissmann: Symbolic Classification of General Two-Player Games, 31st Annual German Conference on Artificial Intelligence (KI), 185-192 (nominated for best paper award)
Stefan Edelkamp and Peter Kissmann: Partial Symbolic Pattern Databases for Optimal Sequential Planning, 31st Annual Conference on Artificial Intelligence (KI), 193-200 (poster)
Stefan Edelkamp and Peter Kissmann: Limits and Possibilities of BDDs in State Space Search, 31st Annual German Conference on Artificial Intelligence (KI), 46-53
Stefan Edelkamp and Peter Kissmann: Competitive Adversarial Planning via One-Sided Symbolic Classification of Two-Player General Games, KI-Workshop on Planung / Scheduling und Konfigurieren / Entwerfen (PuK) (abstract only)
Peter Kissmann and Stefan Edelkamp: Symbolic Classification of General Multi-Player Games, 18th European Conference on Artificial Intelligence (ECAI), 905-906 (short paper)
Marco Bakera, Stefan Edelkamp, Peter Kissmann, and Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning, ECAI-Workshop on Model-Checking and Artificial Intelligence (MoChArt), 15-33
Stefan Edelkamp, Shahid Jabbar, and Peter Kissmann: Scaling Search with Pattern Databases, ECAI-Workshop on Model-Checking and Artificial Intelligence (MoChArt), 49-64
Stefan Edelkamp and Peter Kissmann: Limits and Possibilities of BDDs in State Space Search, 23rd AAAI Conference on Artificial Intelligence (AAAI), 1452-1453 (short paper)

2007

Stefan Edelkamp and Peter Kissmann: Symbolic Exploration for General Game Playing in PDDL, ICAPS-Workshop on Planning in Games
Stefan Edelkamp and Peter Kissmann: Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs, 30th Annual German Conference on Artificial Intelligence (KI), 444-447 (short paper)
Stefan Edelkamp and Peter Kissmann: Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs, KI-Workshop on Planung / Scheduling und Konfigurieren / Entwerfen (PuK), 53-67
Diploma Thesis:
Peter Kissmann: Externalisierung des Sequenzenalignierungsproblems, Universität Dortmund, Germany