Using Abstrips abstractions - where do we stand?

Artificial Intelligence Review

Volumn 13, Issue 3, 1999, Pages 201-213

  Giunchiglia, Fausto ^a,b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING;

ABSTRIPS ABSTRACTION; AUTOMATED REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0032652633     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1006507609248     Document Type: Article

References (20)

1. Bundy, A., Giunchiglia, F., Sebastiani, R. & Walsh, T. (1996a). Calculating Criticalities. Artificial Intelligence 88(1-2).
2. Bundy, A., Giunchiglia, F., Sebastiani, R. & Walsh, T. (1996b). Computing Abstraction Hierarchies by Numerical Simulation. In Proc. of the 13th National Conference on Artificial Intelligence.
3. Bundy, A., Giunchiglia, F., & Walsh, T. (1990). Building Abstractions. In Working Notes of AAAI Workshop on Automatic Generation of Approximations and Abstractions. DAI Research Paper no. 506, University of Edinburgh. Also IRST-Technical Report 9007-02.
4. Bäckström, C. & Jonsson, P. (1995). Planning with Abstraction Hierarchies can be Exponentially Less Efficient. In Proc. of the 14th International Joint Conference on Artificial Intelligence, 1599-1604.
5. Bacchus, F. & Yang, Q. (1994). Downward Refinement and the Efficiency of Hierarchical Problem Solving. Artificial Intelligence 71: 43-100.
6. Green, C. (1969). Application of Theorem Proving to Problem Solving. In Proc. of the 1st International Joint Conference on Artificial Intelligence, 219-239.
7. Giunchiglia, Fausto & Villafiorita, Adolfo (1996). ABSFOL: A Proof Checker with Abstraction. In McRobbie, M.A. and Slaney, J.K. (eds.) Proceedings of the 13th Conference on Automated Deduction (CADE-13), volume 1104 of Lecture Notes in Artificial Intelligence, 136-150. Springer: New Brunswick, New Jersey, USA Also IRST-Technical Report 9602-20, IRST, Italy and DIST-Technical Report 96-0036, DIST, University of Genova, Italy.
8. Giunchiglia, F. & Walsh, T. (1991a). Mapping Back. Technical Report 9111-02, IRST, Trento, Italy. Revised version of IRST-Technical Report no. 8911-16. Also DAI Research Paper, University of Edinburgh.
9. Giunchiglia, F. & Walsh, T. (1991b). Using Abstraction. In Proc. of the 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. Leeds, UK. Also IRST-Technical Report 9010-08 and DAI Research Paper 515, University of Edinburgh.
10. Giunchiglia, F. & Walsh, T. (1992a). A Theory of Abstraction. Artificial Intelligence 57(2-3): 323-390. Also IRST-Technical Report 9001-14, IRST, Trento, Italy.
11. Giunchiglia, F. & Walsh, T. (1992b). Tree Subsumption: Reasoning with Outlines. In Proc. 10th European Conference on Artificial Intelligence ECAI-92, 77-81, Vienna, Austria. Also IRST-Technical Report 9205-01, IRST, Trento, Italy.
12. Knoblock, C.A. (1991a). Automatically Generating Abstractions for Problem Solving. PhD thesis, School of Computer Science.
13. Knoblock, C.A. (1991b). Search Reduction in Hierarchical Problem Solving. In Proc. of the 9th National Conference on Artificial Intelligence, 686-691.
14. Knoblock, C.A. (1992). An Analysis of ABSTRIPS. In Hendler, J. (ed.) Artificial Intelligence Planning Systems, Proceedings of the First International Conference. Maryland.
15. Knoblock, C.A. (1994). Automatically Generating Abstractions for Planning. Artificial Intelligence 68: 243-302.
16. Lifschitz, V. (1986). On the Semantics of Strips. In Georgeff, M. and Lansky, A. (eds.) Reasoning about Actions and Plans, Proceedings of the 1986 Workshop, 1-9. Morgan Kaufmann Publ. Inc.
17. Plaisted, D. (1990). Mechanical Theorem Solving. In Formal Techniques in Artificial Intelligence. Elsevier Science Publishers B.V.
18. Sacerdoti, E.D. (1973). Planning in a Hierarchy of Abstraction Spaces. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence.
19. Smith, D.E. & Peot, M.A. (1992). A Critical Look at Knoblock's Hierarchy Mechanism. In Proc. 1st International Conference Artificial Intelligence Planning Systems (AIPS-92), 307-308.
20. Yang, Q., Tenenberg, J.D. & Woods, S. (1996). On the Implementation and Evaluation of AbTweak. Computational Intelligence 12.