Efficient Symbolic Reasoning for First-Order MDPs

From International Center for Computational Logic

Toggle side column

Efficient Symbolic Reasoning for First-Order MDPs

E. KarabaevE. Karabaev,  G. RamméG. Rammé,  O. SkvortsovaO. Skvortsova
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
@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}
}