Olga Skvortsova

Former member

Former Research Associate in Research Group Knowledge Representation and Reasoning

Publications
Teaching

Newest Publications

Olga Skvortsova
Say "No" to Grounding: An Inference Algorithm for First-Order MDPs
Doctoral Consortium Notes at ICAPS'2006, June 2006
Details Download

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

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
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
Details

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

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

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

View full publication list