callback( { "result":{ "query":":facetid:toc:\"db/journals/amai/amai29.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"190.24" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"8", "@dc":"8", "@oc":"8", "@id":"43435538", "text":":facetid:toc:db/journals/amai/amai29.bht" } }, "hits":{ "@total":"8", "@computed":"8", "@sent":"8", "@first":"0", "hit":[{ "@score":"1", "@id":"6404419", "info":{"authors":{"author":{"@pid":"15/4421","text":"Myla Archer"}},"title":"TAME: Using PVS strategies for special-purpose theorem proving.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"139-181","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/Archer00","doi":"10.1023/A:1018913028597","ee":"https://doi.org/10.1023/A:1018913028597","url":"https://dblp.org/rec/journals/amai/Archer00"}, "url":"URL#6404419" }, { "@score":"1", "@id":"6404422", "info":{"authors":{"author":{"@pid":"06/1641","text":"Maria Paola Bonacina"}},"title":"A taxonomy of parallel strategies for deduction.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"223-257","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/Bonacina00","doi":"10.1023/A:1018932114059","ee":"https://doi.org/10.1023/A:1018932114059","url":"https://dblp.org/rec/journals/amai/Bonacina00"}, "url":"URL#6404422" }, { "@score":"1", "@id":"6404423", "info":{"authors":{"author":[{"@pid":"02/3606","text":"Carlos Castro"},{"@pid":"22/4465","text":"Peter Borovanský"}]},"title":"The use of a strategy language for solving search problems.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"35-64","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/CastroB00","doi":"10.1023/A:1018900617693","ee":"https://doi.org/10.1023/A:1018900617693","url":"https://dblp.org/rec/journals/amai/CastroB00"}, "url":"URL#6404423" }, { "@score":"1", "@id":"6404427", "info":{"authors":{"author":[{"@pid":"58/1750","text":"Louise A. Dennis"},{"@pid":"b/AlanBundy","text":"Alan Bundy"},{"@pid":"48/463","text":"Ian Green"}]},"title":"Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"99-138","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/DennisBG00","doi":"10.1023/A:1018940332714","ee":"https://doi.org/10.1023/A:1018940332714","url":"https://dblp.org/rec/journals/amai/DennisBG00"}, "url":"URL#6404427" }, { "@score":"1", "@id":"6404433", "info":{"authors":{"author":[{"@pid":"48/6981","text":"Bernhard Gramlich"},{"@pid":"k/HKirchner","text":"Hélène Kirchner"},{"@pid":"p/FPfenning","text":"Frank Pfenning"}]},"title":"Editorial: Strategies in Automated Deduction.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/GramlichKP00","doi":"10.1023/A:1016668707781","ee":"https://doi.org/10.1023/A:1016668707781","url":"https://dblp.org/rec/journals/amai/GramlichKP00"}, "url":"URL#6404433" }, { "@score":"1", "@id":"6404435", "info":{"authors":{"author":{"@pid":"95/3918","text":"Dieter Hutter"}},"title":"Annotated reasoning.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"183-222","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/Hutter00","doi":"10.1023/A:1018980012242","ee":"https://doi.org/10.1023/A:1018980012242","url":"https://dblp.org/rec/journals/amai/Hutter00"}, "url":"URL#6404435" }, { "@score":"1", "@id":"6404436", "info":{"authors":{"author":[{"@pid":"54/4624","text":"Andrew Ireland"},{"@pid":"78/615","text":"Jamie Stark"}]},"title":"Proof planning for strategy development.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"65-97","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/IrelandS00","doi":"10.1023/A:1018969728171","ee":"https://doi.org/10.1023/A:1018969728171","url":"https://dblp.org/rec/journals/amai/IrelandS00"}, "url":"URL#6404436" }, { "@score":"1", "@id":"6404437", "info":{"authors":{"author":[{"@pid":"29/826","text":"Patricia Johann"},{"@pid":"00/5705","text":"Eelco Visser"}]},"title":"Warm fusion in Stratego: A case study in generation of program transformation systems.","venue":"Ann. Math. Artif. Intell.","volume":"29","number":"1-4","pages":"1-34","year":"2000","type":"Journal Articles","access":"closed","key":"journals/amai/JohannV00","doi":"10.1023/A:1018956702672","ee":"https://doi.org/10.1023/A:1018956702672","url":"https://dblp.org/rec/journals/amai/JohannV00"}, "url":"URL#6404437" } ] } } } )