{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:00:59Z","timestamp":1747627259128,"version":"3.40.5"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1023\/a:1006507609248","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T02:18:38Z","timestamp":1040523518000},"page":"201-213","source":"Crossref","is-referenced-by-count":11,"title":["Using Abstrips Abstractions -- Where do We Stand?"],"prefix":"10.1007","volume":"13","author":[{"given":"Fausto","family":"Giunchiglia","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"165517_CR1","doi-asserted-by":"crossref","unstructured":"Bundy, A., Giunchiglia, F., Sebastiani, R. & Walsh, T. (1996a). Calculating Criticalities. Artificial Intelligence\n88(1\u20132).","DOI":"10.1016\/S0004-3702(96)00019-7"},{"key":"165517_CR2","unstructured":"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."},{"key":"165517_CR3","unstructured":"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."},{"key":"165517_CR4","unstructured":"B\u00e4ckstr\u00f6m, 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."},{"key":"165517_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0004-3702(94)90062-0","volume":"71","author":"F. Bacchus","year":"1994","unstructured":"Bacchus, F. & Yang, Q. (1994). Downward Refinement and the Efficiency of Hierarchical Problem Solving. Artificial Intelligence\n71: 43-100.","journal-title":"Artificial Intelligence"},{"key":"165517_CR6","doi-asserted-by":"crossref","unstructured":"Green, C. (1969). Application of Theorem Proving to Problem Solving. In Proc. of the 1st International Joint Conference on Artificial Intelligence, 219-239.","DOI":"10.21236\/ADA459656"},{"key":"165517_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-61511-3_74","volume-title":"Proceedings of the 13th Conference on Automated Deduction (CADE-13)","author":"F. Giunchiglia","year":"1996","unstructured":"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."},{"key":"165517_CR8","series-title":"Technical Report","volume-title":"Mapping Back","author":"F. Giunchiglia","year":"1991","unstructured":"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."},{"key":"165517_CR9","unstructured":"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."},{"issue":"2\u20133","key":"165517_CR10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"57","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F. & Walsh, T. (1992a). A Theory of Abstraction. Artificial Intelligence\n57(2\u20133): 323-390. Also IRST-Technical Report 9001-14, IRST, Trento, Italy.","journal-title":"Artificial Intelligence"},{"key":"165517_CR11","unstructured":"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."},{"key":"165517_CR12","unstructured":"Knoblock, C.A. (1991a). Automatically Generating Abstractions for Problem Solving. PhD thesis, School of Computer Science."},{"key":"165517_CR13","unstructured":"Knoblock, C.A. (1991b). Search Reduction in Hierarchical Problem Solving. In Proc. of the 9th National Conference on Artificial Intelligence, 686-691."},{"key":"165517_CR14","doi-asserted-by":"crossref","unstructured":"Knoblock, C.A. (1992). An Analysis of ABSTRIPS. In Hendler, J. (ed.) Artificial Intelligence Planning Systems, Proceedings of the First International Conference. Maryland.","DOI":"10.1016\/B978-0-08-049944-4.50020-3"},{"key":"165517_CR15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(94)90069-8","volume":"68","author":"C.A. Knoblock","year":"1994","unstructured":"Knoblock, C.A. (1994). Automatically Generating Abstractions for Planning. Artificial Intelligence\n68: 243-302.","journal-title":"Artificial Intelligence"},{"key":"165517_CR16","unstructured":"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."},{"key":"165517_CR17","unstructured":"Plaisted, D. (1990). Mechanical Theorem Solving. In Formal Techniques in Artificial Intelligence. Elsevier Science Publishers B.V."},{"key":"165517_CR18","unstructured":"Sacerdoti, E.D. (1973). Planning in a Hierarchy of Abstraction Spaces. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence."},{"key":"165517_CR19","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/B978-0-08-049944-4.50056-2"},{"key":"165517_CR20","doi-asserted-by":"crossref","unstructured":"Yang, Q., Tenenberg, J.D. & Woods, S. (1996). On the Implementation and Evaluation of AbTweak. Computational Intelligence\n12.","DOI":"10.1111\/j.1467-8640.1996.tb00264.x"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006507609248.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006507609248\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006507609248.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:43:04Z","timestamp":1747543384000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006507609248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["165517"],"URL":"https:\/\/doi.org\/10.1023\/a:1006507609248","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}