论文信息 - A theoretical foundation for solving “no‐solution” problems by abstraction - 字舞流文

A theoretical foundation for solving “no‐solution” problems by abstraction

Kiyoshi Akama | Hiroshi Mabuchi | Eiichi Miyamoto

[1] Craig A. Knoblock. Learning Abstraction Hierarchies for Problem Solving , 1990, AAAI.

[2] Earl David Sacerdoti,et al. A Structure for Plans and Behavior , 1977 .

[3] Paul S. Rosenbloom,et al. Abstraction in Problem Solving and Learning , 1989, IJCAI.

[4] Earl D. Sacerdoti,et al. Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[5] Qiang Yang,et al. Characterizing Abstraction Hierarchies for Planning , 1991, AAAI.

[6] Patrick Cousot,et al. Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..

[7] Craig A. Knoblock,et al. A Theory of Abstraction for Hierarchical Planning , 1990 .

[8] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .