[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-505070-105":59,"doc-detail-505070-en":130},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":123,"head_meta":125,"extra_data":127,"updated_unix":129},105,"en","rcra-2015-proceedings-of-the-22nd-rcra-international-workshop-on-experimental-evaluation-of-algorithms-for-solving-problems-with-combinatorial-explosion-september-22-2015-ferrara-italy","RCRA 2015 - Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - September 22, 2015, Ferrara, Italy","","RCRA 2015 proceedings compile the papers and editorial material for the 22nd RCRA International Workshop held in Ferrara, Italy on September 22, 2015. The volume organizes regular papers and also lists related work published elsewhere. Included topics cover experimental and theoretical aspects of algorithm evaluation for solving combinatorial-explosion problems, with emphasis on answer set programming (ASP) and related logic programming methods, planning, and satisfiability-based approaches. Front matter provides editors, program chairs, committee members, publication and copyright permissions.",{"@graph":69,"@context":122},[70,84,105],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":40,"@type":76,"position":81},"https://docshare.wps.com/document/research-report/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/rcra-2015-proceedings-of-the-22nd-rcra-international-workshop-on-experimental-evaluation-of-algorithms-for-solving-problems-with-combinatorial-explosion-september-22-2015-ferrara-italy/505070/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/rcra-2015-proceedings-of-the-22nd-rcra-international-workshop-on-experimental-evaluation-of-algorithms-for-solving-problems-with-combinatorial-explosion-september-22-2015-ferrara-italy/505070.png","ImageObject",300,407,{"name":92,"@type":93},"RuangKosong","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-10-20","2026-10-04",true,{"@type":102,"interactionType":103,"userInteractionCount":29},"InteractionCounter",{"@type":104},"ViewAction",{"@type":106,"mainEntity":107},"FAQPage",[108,114,118],{"name":109,"@type":110,"acceptedAnswer":111},"What conference and year does the proceedings volume cover?","Question",{"text":112,"@type":113},"The volume covers RCRA 2015, the 22nd RCRA International Workshop held on September 22, 2015 in Ferrara, Italy.","Answer",{"name":115,"@type":110,"acceptedAnswer":116},"What kinds of research topics are included in the regular papers section?",{"text":117,"@type":113},"The regular papers focus on experimental evaluation and algorithmic methods for combinatorial-explosion problems, with substantial coverage of answer set programming, logic programming, planning, and related reasoning approaches.",{"name":119,"@type":110,"acceptedAnswer":120},"Does the volume include papers published elsewhere?",{"text":121,"@type":113},"Yes. A dedicated section lists papers not included in the main volume but published elsewhere, including references to IJCAI 2015, Theory and Practice of Logic Programming, and other venues.","https://schema.org",{"og:url":83,"og:type":124,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":126,"canonical":83},"index,follow",{"doc_id":128,"site_id":62},505070,1791410081,{"code":4,"msg":5,"data":131},{"doc_id":128,"user_id":132,"nickname":92,"user_avatar":133,"doc_module":4,"category_id":39,"category_name":40,"doc_title":65,"doc_description":67,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":29,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":139,"language":140,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":67,"update_tm":144,"read_time":145},962090883219,"https://ap-avatar.wpscdn.com/davatar_276721f389ce27ea32af1340a28f341c","Stefano Bistarelli, Andrea Formisano, Marco Maratea (Eds.)  \nRCRA 2015  \nProceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion  \nFerrara, Italy, September 22, 2015  \nCopyright 􀀍c2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published and copyrighted by its editors.  \nEditors' address:  \nUniversit di Perugia  \nDipartimento di Matematica e Informatica Via Vanvitelli 1  \n06123 Perugia, Italy  \nfstefano.bistarelli [j](j andrea.formisanog@unipg.it)[ andrea.formisano](j andrea.formisanog@unipg.it)[g](j andrea.formisanog@unipg.it)[@unipg.it](j andrea.formisanog@unipg.it)[ ](j andrea.formisanog@unipg.it)Universit di Genova  \nDipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi viale F. Causa,15  \n16145 Genova, Italy [marco@dibris.unige.it](marco@dibris.unige.it)  \nProgram Chairs  \nStefano Bistarelli Andrea Formisano Marco Maratea  \nUniversit di Perugia  \nUniversit di Perugia Universit di Genova  \nProgram Committee  \nMario Alviano Paolo Baldan Marcello Balduccini Laura Barbulescu Roman Bartak Elena Bellodi Stefano Bistarelli Stefania Costantini Agostino Dovier Andrea Formisano Fabio Gadducci Marco Gavanelli  \nMatti Jrvisalo Zeynep Kiziltan Ines Lynce Daniele Magazzeni Toni Mancini Marco Maratea Joao Marques-Silva Angelo Oddi Luca Pulina Francesco Ricca  \nFrancesco Santini Torsten Schaub Ivan Serina Thomas St¨utzle Mauro Vallati Richard Wallace Johannes Wallner  \nUniversit della Calabria Universit di Padova Drexel University Carnegie Mellon University Charles University in Prague Universit di Ferrara Universit di Perugia Universit di L'Aquila  \nUniversit di Udine Universit di Perugia  \nUniversit di Pisa  \nUniversit di Ferrara University of Helsinki Universit di Bologna University of Lisbon King's College London Sapienza Universit Roma Universit di Genova University of Lisbon ISTI-CNR  \nUniversit di Sassari Universit della Calabria  \nUniversit di Perugia University of Potsdam Universit di Brescia Universit Libre de Bruxelles University of Huddersfield  \nUniversity College Cork  \nUniversity of Helsinki  \nContents  \nRegular Papers  \nEvaluating Answer Set Programming with Non-Convex Recursive Aggregates  \nMario Alviano  \nJWASP: A New Java-Based ASP Solver  \nMario Alviano, Carmine Dodaro, and Francesco Ricca  \nSearching for Sequential Plans Using Tabled Logic Programming  \nRoman Barta´k, Jindrˇich Vodra´ka  \nTesting Credulous and Sceptical Acceptance in Small-World Networks  \nStefano Bistarelli, Fabio Rossi, Francesco Santini  \nNow or Never: Negotiating Efficiently with Unknown Counterparts  \nToni Mancini  \nAn Empirical Perspective on Ten Years of QBF Solving  \nPaolo Marin, Massimo Narizzano, Luca Pulina,  \nArmando Tacchella, Enrico Giunchiglia  \n1  \n16  \n24  \n39  \n47  \n62  \nModeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments  \nPeter Schu¨ller 76  \nPapers not included here and published elsewhere  \nA MaxSAT Algorithm Using Cardinality Constraints of Bounded Size  \nMario Alviano, Carmine Dodaro, Francesco Ricca.  \nAppeared in Q. Yang and M. Wooldridge (Eds.): Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp. 2677– 2683. AAAI Press  \nFuzzy Answer Set Computation via Satisfiability Modulo Theories  \nMario Alviano, Rafael Pen˜aloza.  \nAppeared in Theory and Practice of Logic Programming, 15(4 -5), pp. 588-603, 2015. Cambridge University Press  \nPlanning with Always Preferences by Compilation into STRIPS with Action Costs  \nLuca Ceriani, Alfonso E. Gerevini.  \nAppeared in L. Lelis and R. Stern (Eds.): Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, pp. 161-165. AAAI Press  \nASCoL: a Tool for Improving Automatic Planning Domain","cbCailSkxe3Py2Af","https://ap.wps.com/l/cbCailSkxe3Py2Af","pdf",2020027,96,"English","# Regular Papers\n## Evaluating Answer Set Programming with Non-Convex Recursive Aggregates\n## JWASP: A New Java-Based ASP Solver\n## Searching for Sequential Plans Using Tabled Logic Programming\n## Testing Credulous and Sceptical Acceptance in Small-World Networks\n## Now or Never: Negotiating Efficiently with Unknown Counterparts\n## An Empirical Perspective on Ten Years of QBF Solving\n## Papers not included here and published elsewhere\n## A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size","[{\"question\":\"What conference and year does the proceedings volume cover?\",\"answer\":\"The volume covers RCRA 2015, the 22nd RCRA International Workshop held on September 22, 2015 in Ferrara, Italy.\"},{\"question\":\"What kinds of research topics are included in the regular papers section?\",\"answer\":\"The regular papers focus on experimental evaluation and algorithmic methods for combinatorial-explosion problems, with substantial coverage of answer set programming, logic programming, planning, and related reasoning approaches.\"},{\"question\":\"Does the volume include papers published elsewhere?\",\"answer\":\"Yes. A dedicated section lists papers not included in the main volume but published elsewhere, including references to IJCAI 2015, Theory and Practice of Logic Programming, and other venues.\"}]","RCRA 2015 - Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - September 22, 2015, Ferrara, Italy | PDF",1791088605,242]