<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<br>
** Due to popular demand, the submission deadline has been extended to September 20, 2024 **
<div><br>
<div>*</div>
<div>The RCRA group (Knowledge Representation & Automated Reasoning) of<br>
the AI*IA (Italian Association for Artificial Intelligence)<br>
<br>
organizes the<br>
<br>
31st RCRA workshop on<br>
Experimental evaluation of algorithms for solving<br>
problems with combinatorial explosion (RCRA 2024)<br>
<br>
co-located with the 23rd International Conference of the<br>
Italian Association for Artificial Intelligence (AI*IA 2024)<br>
https://aixia2024.events.unibz.it/ November, 25-28, 2024; Bolzano, Italy<br>
<br>
<br>
RCRA group web site: http://rcra.aixia.it/<br>
Workshop web site: https://rcra2024.wordpress.com/<br>
e-mail: m.vallati@hud.ac.uk, marco.maratea@unical.it, serafini@fbk.eu<br>
* ______________________________________________________________________ *<br>
<br>
This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies
for algorithms in Artificial Intelligence.<br>
<br>
* ______________________________________________________________________ *<br>
<br>
<br>
**IMPORTANT DATES<br>
<br>
Paper submission deadline: <strike>September 8th, 2024, </strike>EXTENDED to September 20th, 2024.<br>
Notification of acceptance: October 6th, 2024<br>
Final version of accepted original papers: TBD<br>
RCRA workshop: November 25-28, 2024<br>
<br>
**AIMS AND SCOPE<br>
<br>
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.<br>
<br>
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 modelling, and ease of development.<br>
<br>
Topics of interest include, but are not limited to:<br>
* Experimental evaluation of algorithms for<br>
o knowledge representation<br>
o automated reasoning<br>
o planning<br>
o scheduling<br>
o machine learning<br>
o model checking<br>
o boolean satisfiability (SAT)<br>
o constraint programming<br>
o argumentation<br>
o temporal reasoning<br>
o combinatorial optimization<br>
o quantified boolean formulae and quantified constraints<br>
o modal logics<br>
o logic programming<br>
o answer set programming<br>
o ontological reasoning<br>
* Definition and construction of benchmarks<br>
* Experimentation methodologies<br>
* Metaheuristics<br>
* Algorithm hybridization<br>
* Static analysis of combinatorial problems<br>
* Languages and systems for definition and solution of problems<br>
* Comparisons between systems and algorithms<br>
* Application experiences (visualization, graphics, security, transports,...)<br>
<br>
<br>
**WORKSHOP CHAIRS<br>
Marco Maratea University of Calabria, Italy<br>
Luciano Serafini FBK, Italy<br>
Mauro Vallati University of Huddersfield, UK<br>
<br>
<br>
**SUBMISSIONS<br>
<br>
Authors are invited to submit either original and non-original papers.<br>
<br>
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.<br>
<br>
Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages. Papers should be formatted according to the CEUR-WS's single-column style (http://ceur-ws.org/HOWTOSUBMIT.html).<br>
<br>
RCRA 2024 uses EasyChair for the submission of contributions.<br>
<br>
Contributions must be submitted through this page: https://easychair.org/conferences/?conf=rcra24<br>
<br>
<br>
<br>
**PROCEEDINGS<br>
<br>
CEUR-WS Proceedings:<br>
Accepted original papers will be published in the AIxIA series of CEUR-WS AI*IA Series on CEUR-WS.org (upon authors confirmation), possibly in conjunction with other workshops.<br>
<br>
Moreover, as in some previous editions (http://rcra.aixia.it/publications), we are considering the possibility of having a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All technical papers,
original and non-original, will be eligible.<br>
<br>
<br>
HISTORY OF THE RECENT WORKSHOP SERIES<br>
<br>
* RCRA 2023 as a workshop of AI*IA 2023, Rome, Italy<br>
https://rcra2023.wordpress.com/ * RCRA 2022 as a workshop of LPNMR 2022, Genova, Italy<br>
https://rcra2022.wordpress.com/<br>
* RCRA 2021 as a workshop of AI*IA 2021, Virtual<br>
https://rcra2021.wordpress.com/<br>
* RCRA 2020 as a workshop of AI*IA 2020, Virtual<br>
https://rcra2020.wordpress.com/<br>
* RCRA 2018 as a workshop of FLoC 2018, Oxford, UK<br>
http://rcra.aixia.it/rcra~2018<br>
Extended versions of the best papers will appear in a special<br>
issue of Fundamenta Informaticae<br>
* RCRA 2017 as a workshop of AI*IA 2017, Bari, Italy<br>
http://rcra.aixia.it/rcra2017<br>
Extended versions of the best papers will appear in a special<br>
issue of Fundamenta Informaticae<br>
* RCRA 2016 as a workshop of AI*IA 2016, Genova, Italy<br>
http://rcra.aixia.it/rcra2016<br>
Extended versions of the best papers will appear in a special<br>
issue of JETAI<br>
* RCRA 2015 as a workshop of AI*IA 2015, Ferrara, Italy<br>
http://rcra.aixia.it/rcra2015<br>
Extended versions of the best papers will appear in a special<br>
issue of Fundamenta Informaticae<br>
* RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014,<br>
Vienna, Austria - http://rcra.aixia.it/rcra2014<br>
Extended versions of the best papers will appear in a special<br>
issue of AI Communications<br>
* Previous editions: http://rcra.aixia.it/workshops<br>
<div><br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
</div>
<br>
</div>
</div>
University of Huddersfield inspiring global professionals.<br>
<img src="https://marketing.hosting.hud.ac.uk/images/EmailSigFooterApr2024.jpg"><br>
<br>
This transmission is confidential and may be legally privileged. If you receive it in error, please notify us immediately by e-mail and remove it from your system. If the content of this e-mail does not relate to the business of the University of Huddersfield,
then we do not endorse it and will accept no liability.
</body>
</html>