[Hol-info] RCRA 2022 - 1st call for papers

[cfp <cf...@ma...>]

  [APOLOGIES FOR MULTIPLE POSTINGS]

* ______________________________________________________________________   *

      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)
                    https://sites.google.com/view/lpnmr2022                    

                      September, 5th, 2022; Genova, Italy


     RCRA group web site:http://rcra.aixia.it/
     Workshop web site:   TBA
     e-mail:ma...@di...,M.V...@hu...

* ______________________________________________________________________   *

     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.

* ______________________________________________________________________   *


IMPORTANT DATES

   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

AIMS AND SCOPE

   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.

   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.

   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,...)


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


HOST ORGANIZATION AND VENUE
   University of Genova, Italy

   The workshop will take place in Genova Nervi, Italy, in the
   Collegio Emiliani (http://www.collegioemiliani.it/), 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.
   
SUBMISSIONS

   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
   paths.

   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:

       https://easychair.org/conferences/?conf=rcra2022

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



CONTACT
   In case of need, the workshop co-chairs can be contacted by sending
   an email to:
                    ma...@di...,M.V...@hu...


PROCEEDINGS

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

   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.

HISTORY OF THE RECENT WORKSHOP SERIES

   * RCRA 2021 as a workshop of AI*IA 2021, Virtual
     https://rcra2020.wordpress.com/   
   * RCRA 2020 as a workshop of AI*IA 2020, Virtual
     https://rcra2020.wordpress.com/   
   * RCRA 2018 as a workshop of FLoC 2018, Oxford, UK
     http://rcra.aixia.it/rcra~2018    
     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
     http://rcra.aixia.it/rcra2017    
     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
     http://rcra.aixia.it/rcra2016     
     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
     http://rcra.aixia.it/rcra2015
     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 -http://rcra.aixia.it/rcra2014
     Extended versions of the best papers will appear in a special
     issue of AI Communications
   * Previous editions:http://rcra.aixia.it/workshops