Publikationen von Olga Skvortsova

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Publikationen von Olga Skvortsova


Artikel in Fachzeitschriften

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


Artikel in Tagungsbänden

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
A new context-based -subsumption algorithm
Sixteenth International Conference on Inductive Logic Programming (ILP'2006), 188-191, August 2006
Details Download

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, 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


Technische Berichte

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