Theories of abstraction
作者： Fausto Giunchiglia , Adolfo Villafiorita , Toby Walsh
DOI:
关键词:
摘要:
参考文章(24)
P. Pandurang Nayak, Alon Y. Levy, A semantic theory of abstractions international joint conference on artificial intelligence. pp. 196- 202 ,(1995)
Josh D. Tenenberg, Preserving consistency across abstraction mappings international joint conference on artificial intelligence. pp. 1011- 1014 ,(1987)
Oren Etzioni, Craig A. Knoblock, Steven Minton, Integrating abstraction and explanation-based learning in PRODIGY national conference on artificial intelligence. pp. 541- 546 ,(1991)
Fausto Giunchiglia, Adolfo Villafiorita, ABSFOL: A Proof Checker with Abstraction conference on automated deduction. pp. 136- 140 ,(1996) , 10.1007/3-540-61511-3_74
Craig Alan Knoblock, Automatically generating abstractions for problem solving Carnegie Mellon University. ,(1991)
D. A. Plaisted, Abstraction Mappings in Mechanical Theorem Proving conference on automated deduction. pp. 264- 280 ,(1980) , 10.1007/3-540-10009-1_21
Christer Backstrom, Peter Jonsson, Planning with abstraction hierarchies can be exponentially less efficient international joint conference on artificial intelligence. pp. 1599- 1604 ,(1995)
Craig A. Knoblock, Search reduction in hierarchical problem solving national conference on artificial intelligence. pp. 686- 691 ,(1991)
Josh D. Tenenberg, Craig A. Knoblock, Qiang Yang, Characterizing abstraction hierarchies for planning national conference on artificial intelligence. pp. 692- 697 ,(1991)
Josh D. Tenenberg, Abstraction in planning Reasoning about plans. pp. 213- 280 ,(1991) , 10.1016/B978-1-55860-137-6.50010-8