posted by user: jessicazangari || 739 views || tracked by 1 users: [display]

RCRA 2022 : 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion


When Sep 5, 2022 - Sep 5, 2022
Where Genova, Italy
Submission Deadline Jul 10, 2022
Notification Due Aug 1, 2022
Final Version Due Aug 22, 2022

Call For Papers


* ______________________________________________________________________ *

The RCRA group (Knowledge Representation & Automated Reasoning) of
the AI*IA (Italian Association for Artificial Intelligence)

organizes the

29th RCRA workshop on
Experimental evaluation of algorithms for solving
problems with combinatorial explosion (RCRA 2022)

affiliated to the 16th International Conference on Logic
Programming and Non-monotonic Reasoning (LPNMR 2022)
September, 5th, 2022; Genova, Italy

RCRA group web site:
Workshop web site: TBA

* ______________________________________________________________________ *

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

* ______________________________________________________________________ *


Paper submission deadline: July 10th, 2022
Notification of acceptance: August 1st, 2022
Final version of accepted original papers: August 22nd, 2022
RCRA workshop: September 5th, 2022


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

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

Topics of interest include, but are not limited to:
* Experimental evaluation of algorithms for
o knowledge representation
o automated reasoning
o planning
o scheduling
o machine learning
o model checking
o boolean satisfiability (SAT)
o constraint programming
o argumentation
o temporal reasoning
o combinatorial optimization
o quantified boolean formulae and quantified constraints
o modal logics
o logic programming
o answer set programming
o ontological reasoning
* Definition and construction of benchmarks
* Experimentation methodologies
* Metaheuristics
* Algorithm hybridization
* Static analysis of combinatorial problems
* Languages and systems for definition and solution of problems
* Comparisons between systems and algorithms
* Application experiences (visualization, graphics, security, transports,...)

Marco Maratea University of Genova, Italy
Mauro Vallati University of Huddersfield, UK

University of Genova, Italy

The workshop will take place in Genova Nervi, Italy, in the
Collegio Emiliani (, which is a college
directly situated on the see.

Of course, we will continuously monitor the pandemic situation in
order to evaluate whether the conference can be indeed held as an
in-person event, or we will need to switch to a hybrid event, if not
completely on-line.


Authors are invited to submit either original and non-original papers.

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

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.

RCRA 2022 uses EasyChair for the submission of contributions.

Contributions must be submitted through this page:

All submissions will be reviewed by at least three members of the
program committee (TBD).

In case of need, the workshop co-chairs can be contacted by sending
an email to:,


CEUR-WS Proceedings:
Accepted original papers will be published in the AIxIA series of
CEUR-WS AI*IA Series on (upon authors confirmation)

Moreover, as in some previous editions (,
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.


* RCRA 2021 as a workshop of AI*IA 2021, Virtual
* RCRA 2020 as a workshop of AI*IA 2020, Virtual
* RCRA 2018 as a workshop of FLoC 2018, Oxford, UK
Extended versions of the best papers will appear in a special
issue of Fundamenta Informaticae
* RCRA 2017 as a workshop of AI*IA 2017, Bari, Italy
Extended versions of the best papers will appear in a special
issue of Fundamenta Informaticae
* RCRA 2016 as a workshop of AI*IA 2016, Genova, Italy
Extended versions of the best papers will appear in a special
issue of JETAI
* RCRA 2015 as a workshop of AI*IA 2015, Ferrara, Italy
Extended versions of the best papers will appear in a special
issue of Fundamenta Informaticae
* RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014,
Vienna, Austria -
Extended versions of the best papers will appear in a special
issue of AI Communications
* Previous editions:

Related Resources

LREC-COLING 2024   The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation
IEEE Xplore-Ei/Scopus-CACEE 2023   2023 International Conference on Automation, Control and Electronics Engineering (CACEE 2023) -EI Compendex
ACM-EI/Scopus-ACAI 2023   2023 6th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2023) -EI Compendex
CECCT 2023   2023 International Conference on Electronics, Computers and Communication Technology (CECCT 2023)
Learning 2024   Thirty-First International Conference on Learning
AMLSP 2023   2023 5th International Conference on Algorithms, Machine Learning and Signal Processing (AMLSP 2023)
MLAMDA 2023   2023 Asia Conference on Machine Learning, Algorithms, Modeling and Data Analysis (MLAMDA 2023)
ACM-Ei/Scopus-MLBDM 2023   2023 3rd International Conference on Machine Learning and Big Data Management(MLBDM 2023)-EI Compendex
ISER 2023   International Symposium on Experimental Robotics
TACAS 2024   Tools and Algorithms for Construction and Analysis of Systems