Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439417, 9783540456223

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Performance of Lookahead Control Policies in the Face of Abstractions and Approximations

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_23 ◽

2007 ◽

pp. 299-307 ◽

Author(s):

Ilya Levner ◽

1Vadim Bulitko ◽

Omid Madani ◽

Russell Greiner

Keyword(s):

Control Policies ◽

Download Full-text

Abstraction and Reformulation in GraphPlan

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_29 ◽

2002 ◽

pp. 330-330

Author(s):

Daniel Buettner

Download Full-text

Reformulation in Planning

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_2 ◽

2002 ◽

pp. 18-32 ◽

Author(s):

Derek Long ◽

Maria Fox ◽

Muna Hamdi

Download Full-text

Abstracting Visual Percepts to Learn Concepts

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_19 ◽

2002 ◽

pp. 256-273 ◽

Author(s):

Jean-Daniel Zucker ◽

Nicolas Bredeche ◽

Lorenza Saitta

Download Full-text

An Algebraic Framework for Abstract Model Checking

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_12 ◽

2002 ◽

pp. 152-169

Author(s):

Supratik Mukhopadhyay ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Abstract Model ◽

Algebraic Framework ◽

Abstract Model Checking

Download Full-text

Principled Exploitation of Heuristic Information

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_38 ◽

2002 ◽

pp. 345-346

Author(s):

Wheeler Ruml

Keyword(s):

Heuristic Information

Download Full-text

Spatiotemporal Abstraction of Stochastic Sequential Processes

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_3 ◽

2002 ◽

pp. 33-50 ◽

Author(s):

Sridhar Mahadevan

Keyword(s):

Sequential Processes

Download Full-text

Approximation Techniques for Non-linear Problems with Continuum of Solutions

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_17 ◽

2002 ◽

pp. 224-241 ◽

Author(s):

Xuan-Ha Vu ◽

Djamila Sam-Haroud ◽

Marius-Calin Silaghi

Keyword(s):

Approximation Techniques ◽

Linear Problems

Download Full-text

Approximation of Relations by Propositional Formulas: Complexity and Semantics

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_18 ◽

2002 ◽

pp. 242-255 ◽

Author(s):

Bruno Zanuttini

Download Full-text

Learning Options in Reinforcement Learning

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_16 ◽

2002 ◽

pp. 212-223 ◽

Author(s):

Martin Stolle ◽

Doina Precup

Keyword(s):

Reinforcement Learning ◽

Learning Options

Download Full-text