Efficient Symbolic Reasoning for First-Order MDPs

E. KarabaevE. Karabaev, G. RamméG. Rammé, O. SkvortsovaO. Skvortsova

Download

E. Karabaev, G. Rammé, O. Skvortsova
Efficient Symbolic Reasoning for First-Order MDPs
Proceedings of the Workshop on "Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds" at the 17th European Conference on Artificial Intelligence (ECAI'2006), 2006

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{KRS2006,
  author    = {E. Karabaev and G. Ramm{\'{e}} and O. Skvortsova},
  title     = {Efficient Symbolic Reasoning for First-Order {MDPs}},
  booktitle = {Proceedings of the Workshop on "Planning, Learning and Monitoring
               with Uncertainty and Dynamic Worlds" at the 17th European
               Conference on Artificial Intelligence (ECAI'2006)},
  year      = {2006}
}