Seminar Wissensbasiertes Planen
G. Brewka, F. Wolter

Themen

• 29.10.02: Robert Feldmann Folien

  Conditional Effects in Graphplan

  C.R. Anderson, D.E. Smith, D.S. Weld

• 5.11.02: Alf Richter

  Extending Graphplan to Handle Uncertainty & Sensing Actions

  D.S. Weld, C.R. Anderson, D.E. Smith

• 12.11.02: Verena Fritzsche Folien

  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search

  H.Kautz, B. Selman

  und Planning as Satisfiability

  H.Kautz, B. Selman

• 19.11.02: Alexander Kiel

  On the Role of Ground Actions in Refinement Planning

  H.L.S. Younes, R.G. Simmons

• 26.11.02: Oleksiy Samokhvalov

  Planning as Heuristic Search

  B. Bonet, H. Geffner

• 3.12.02: Enrico Kaden Folien

  Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length

  S. Edelkamp, M. Helmer

  und Directed Symbolic Exploration in AI-Planning

  S. Edelkamp

• 10.12.02: Anne-Katrin Bohse Folien

  On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm

  J. Koehler, J. Hoffmann

• 17.12.02: Nico Scherf (cancelled)

  The FF Planning System: Fast Plan Generation Through Heuristic Search

  J. Hoffmann, B. Nebel

• 7.1.03: Irina Schens Folien

  SHOP and M-SHOP: Planning with Ordered Task Decomposition

  Nau et al.

  and Total-Ord er Planning with Partially Ordered Subtasks

  Nau et al (SHOP2)

• 28.1.03: Alexander Heussner

  Using Temporal Logics to Express Search Control Knowledge for Planning

  F. Bacchus, F. Kabanza

• 4.2.03: TALPlanner: A Temporal Logic Based Forward Chaining Planner

  j. Kvarnstrom, P. Doherty