A Normalization Algorithm for Automated First-Order Value Iteration

Steffen HölldoblerSteffen Hölldobler, Olga SkvortsovaOlga Skvortsova

Steffen Hölldobler, Olga Skvortsova
A Normalization Algorithm for Automated First-Order Value Iteration
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--16, 2003

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{HS2003,
  author      = {Steffen H{\"{o}}lldobler and Olga Skvortsova},
  title       = {A Normalization Algorithm for Automated First-Order Value
                 Iteration},
  institution = {Knowledge Representation and Reasoning Group, Institute for
                 Artificial Intelligence, Department of Computer Science,
                 Dresden University of Technology, Dresden, Germany},
  year        = {2003}
}