{"id":546,"date":"2015-03-25T10:32:40","date_gmt":"2015-03-25T09:32:40","guid":{"rendered":"http:\/\/aixia2015.unife.it\/?page_id=546"},"modified":"2019-07-04T11:51:50","modified_gmt":"2019-07-04T10:51:50","slug":"rcra-call-for-papers","status":"publish","type":"page","link":"https:\/\/aixia2015.unife.it\/calls\/rcra-call-for-papers\/","title":{"rendered":"RCRA International Workshop on \u201cExperimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion\u201d (RCRA 2015) Call for Papers"},"content":{"rendered":"<div id=\"pl-546\"  class=\"panel-layout\" ><div id=\"pg-546-0\"  class=\"panel-grid panel-no-style\" ><div id=\"pgc-546-0-0\"  class=\"panel-grid-cell\" ><div id=\"panel-546-0-0-0\" class=\"so-panel widget widget_sow-editor panel-first-child panel-last-child\" data-index=\"0\" ><div class=\"so-widget-sow-editor so-widget-sow-editor-base\">\n<div class=\"siteorigin-widget-tinymce textwidget\">\n\t<h3 class=\"widget-title\">RCRA International Workshop on <i>Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion<\/i> (RCRA 2015) Call for Papers<\/h3>\n<p>Many problems in Artificial Intelligence show an exponential explosion of the search space.Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.<\/p>\n<p>Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.<\/p>\n<p><strong>Official Web Page:<\/strong>\u00a0<a href=\"http:\/\/rcra.aixia.it\/rcra2015\" target=\"_blank\">http:\/\/rcra.aixia.it\/RCRA2015<\/a><\/p>\n<h2>Topics of Interest<\/h2>\n<p>Topics of interest include, but are not limited to:<\/p>\n<ul>\n<li>Experimental evaluation of algorithms for\n<ul>\n<li>knowledge representation<\/li>\n<li>automated reasoning<\/li>\n<li>planning<\/li>\n<li>scheduling<\/li>\n<li>machine learning<\/li>\n<li>model checking<\/li>\n<li>boolean satisfiability (SAT)<\/li>\n<li>constraint programming<\/li>\n<li>argumentation<\/li>\n<li>temporal reasoning<\/li>\n<li>combinatorial optimization<\/li>\n<li>quantified boolean formulae and quantified constraints<\/li>\n<li>modal logics<\/li>\n<li>logic programming<\/li>\n<li>answer set programming<\/li>\n<li>ontological reasoning<\/li>\n<\/ul>\n<\/li>\n<li>Definition and construction of benchmarks<\/li>\n<li>Experimentation methodologies<\/li>\n<li>Metaheuristics<\/li>\n<li>Algorithm hybridization<\/li>\n<li>Static analysis of combinatorial problems<\/li>\n<li>Languages and systems for definition and solution of problems<\/li>\n<li>Comparisons between systems and algorithms<\/li>\n<li>Application experiences (visualization, graphics, security,\u00a0transports, ...)<\/li>\n<\/ul>\n<h2>Submission Instructions<\/h2>\n<p>Authors are invited to submit either original (full or short) papers, or papers that appear on conference proceedings.<\/p>\n<p>Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths.<\/p>\n<p>At the time of submission, authors are requested to clearly specify whether their submission is original or already published.<\/p>\n<p>Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS style (please refer to <a href=\"http:\/\/www.springer.com\/computer\/lncs?SGWID=0-164-6-793341-0\">this page<\/a> for instructions).<\/p>\n<p>RCRA 2015 uses EasyChair for the submission of contributions. Details will be made available soon.<\/p>\n<p>Submissions will be reviewed by at least three members of the program committee.<\/p>\n<p>Accepted papers will be published online, as an issue of the CEUR-WS workshop proceeding series.<\/p>\n<p>Moreover, as in previous editions (<a href=\"http:\/\/rcra.aixia.it\/publications\" target=\"_blank\">http:\/\/rcra.aixia.it\/publications<\/a>), a selection of extended and revised versions of accepted papers will appear in<br \/>\na special issue of <a href=\"http:\/\/fi.mimuw.edu.pl\/index.php\/FI\">Fundamenta Informaticae<\/a>, provided that a sufficient amount of high\u00a0quality papers is collected.<\/p>\n<h3>History of\u00a0the Recent Workshop Series<\/h3>\n<ul>\n<li>RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014, Vienna, Austria - <a href=\"http:\/\/rcra.aixia.it\/rcra2014\" target=\"_blank\">http:\/\/rcra.aixia.it\/rcra2014<\/a><br \/>\nExtended versions of the best papers will appear in a special issue of AI Communications<\/li>\n<li>RCRA 2013, Rome, Italy - <a href=\"http:\/\/rcra.aixia.it\/rcra2013\" target=\"_blank\">http:\/\/rcra.aixia.it\/rcra2013<\/a><br \/>\nExtended versions of the best papers will appear in a special issue of Journal of Experimental and Theoretical Artificial Intelligence<\/li>\n<li>RCRA 2012 as a workshop of AI*IA 2012, Rome, Italy - <a href=\"http:\/\/rcra.aixia.it\/rcra2012\" target=\"_blank\">http:\/\/rcra.aixia.it\/rcra2012<\/a><br \/>\nExtended versions of the best papers will appear in a special issue of AI Communications<\/li>\n<li>RCRA 2011 as a workshop of IJCAI 2011, Barcelona, Spain - <a href=\"http:\/\/rcra.aixia.it\/rcra2011\" target=\"_blank\">http:\/\/rcra.aixia.it\/rcra2011<\/a><br \/>\nExtended versions of the best papers appear in a special issue of AI Communications<\/li>\n<li>Previous editions: <a href=\"http:\/\/rcra.aixia.it\/workshops\">http:\/\/rcra.aixia.it\/workshops<\/a><\/li>\n<\/ul>\n<h2>Important Dates<\/h2>\n<p>Abstract Deadline:\u00a0<del><strong>June 26<span class=\"cardin-nums\">th<\/span>, 2015<\/strong><\/del><br \/>\nSubmission Deadline: <strong><del>June 19<span class=\"cardin-nums\">th<\/span>, 2015<\/del>\u00a0<del><strong><span style=\"color: #ff0000;\"><strong>extended to June 30<span class=\"cardin-nums\">th<\/span>, 2015<\/strong><\/span><\/strong><\/del><\/strong><br \/>\nAcceptance Notification: <strong>July 19<span class=\"cardin-nums\">th<\/span>, 2015<\/strong><br \/>\nCamera Ready: <strong><del>August 7<span class=\"cardin-nums\">th<\/span>, 2015<\/del>\u00a0<strong><strong><span style=\"color: #ff0000;\">extended to August 12th, 2015<\/span><\/strong><\/strong><\/strong><br \/>\nEarly Registration:\u00a0<strong><del>July 31<span class=\"cardin-nums\">st<\/span>, 2015<\/del>\u00a0<strong><span style=\"color: #ff0000;\">extended to August 7th, 2015<\/span><\/strong><\/strong><br \/>\nWorkshop Day: <strong>September 22<span class=\"cardin-nums\">nd<\/span>, 2015<\/strong><\/p>\n<p><a href=\"http:\/\/aixia2015.unife.it\/wp-content\/uploads\/2015\/09\/AIIA2015-RCRA-CfP.ics\">iCalendar<\/a> | <a href=\"https:\/\/www.google.com\/calendar\/render?cid=unife.it_opprmnjo2ureqnp806sp8ftrgc%40group.calendar.google.com#main_7\" target=\"_blank\">Google Calendar<\/a><\/p>\n<h2 style=\"text-align: left;\">Organising Committee<\/h2>\n<p><a href=\"http:\/\/www.dmi.unipg.it\/~bista\/\">Stefano Bistarelli<\/a><br \/>\nUniversity of Perugia<\/p>\n<p><a href=\"http:\/\/www.dmi.unipg.it\/formis\/index.php\">Andrea Formisano<\/a><br \/>\nUniversity of Perugia<\/p>\n<p><a href=\"http:\/\/www.star.dist.unige.it\/~marco\/\">Marco Maratea<\/a> <em>(contact person)<\/em><br \/>\nUniversity of Genoa<\/p>\n<p><script>\/\/ <![CDATA[\nvar logoimg = document.getElementById(\"masthead\").getElementsByTagName(\"img\")[0];\nlogoimg.src =\"http:\/\/aixia2015.unife.it\/wp-content\/uploads\/2015\/03\/RCRA_logo_small.png\";\nlogoimg.width = \"616\"\n\/\/ data-retina-image \u00e8 la stessa immagine solo che di dimensioni doppie (usata in schermi retina)\nlogoimg.setAttribute(\"data-retina-image\", \"http:\/\/aixia2015.unife.it\/wp-content\/uploads\/2015\/03\/RCRA_logo_retina.png\");\n\/\/ ]]><\/script><\/p>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>","protected":false},"excerpt":{"rendered":"<p>RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015) Call for Papers Many problems in Artificial Intelligence show an exponential explosion of the search space.Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":30,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"templates\/template-full-notitle.php","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/546"}],"collection":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/comments?post=546"}],"version-history":[{"count":21,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/546\/revisions"}],"predecessor-version":[{"id":1531,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/546\/revisions\/1531"}],"up":[{"embeddable":true,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/30"}],"wp:attachment":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/media?parent=546"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}