Publications of Olga Skvortsova

From International Center for Computational Logic
Toggle side column

Publications of Olga Skvortsova


Journal Articles

Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova
FLUCAP: A Heuristic Search Planner for First-Order MDPs
Journal of Artificial Intelligence Research, 27:419-439, 2006
Details Download

Proceedings Articles

Steffen Hölldobler, Olga Skvortsova
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
Details
Olga Skvortsova
Say "No" to Grounding: An Inference Algorithm for First-Order MDPs
Doctoral Consortium Notes at ICAPS'2006, June 2006
Details Download
Olga Skvortsova
A new context-based -subsumption algorithm
Sixteenth International Conference on Inductive Logic Programming (ILP'2006), 188-191, August 2006
Details Download
Steffen Hölldobler, Olga Skvortsova
A Logic-Based Approach to Dynamic Programming
Learning and Planning in Markov Processes–Advances and Challenges, Papers from the AAAI Workshop, 31-36, July 2004. AAAI Press, Menlo Park, California
Details Download
Axel Großmann, Steffen Hölldobler, Olga Skvortsova
Symbolic Dynamic Programming within the Fluent Calculus
In Naohiro Ishii, eds., Proceedings of the IASTED International Conference on Artificial and Computational Intelligence, 378-383,  2002. ACTA Press
Details

Technical Reports

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