[PlanetKR] RCRA 2023: Call for Papers

Fri Aug 11 14:41:46 UTC 2023

[APOLOGIES FOR MULTIPLE POSTINGS]

* ______________________________________________________________________   *

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

                                          organizes the

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

               affiliated to the 22nd International Conference of the
             Italian Association for Artificial Intelligence (AI*IA 2023)
                                http://www.aixia2023.cnr.it/
                         November, 6-9, 2023; Rome, Italy

    RCRA group web site: http://rcra.aixia.it/
    Workshop web site:   https://rcra2023.wordpress.com/
    e-mail:              marco at dibris.unige.it, M.Vallati at hud.ac.uk, serafini at fbk.eu

* ______________________________________________________________________   *

    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: September 11th, 2023
Notification of acceptance: October 6th, 2023
Final version of accepted original papers: TBD
RCRA workshop:  November 6-9, 2023

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 modelling, 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
        Luciano Serafini      FBK, Italy
        Mauro Vallati         University of Huddersfield, UK

HOST ORGANIZATION AND VENUE
  Roma Tre University, Sapienza University of Rome and University of Rome, Tor Vergata, and CNR Rome, Italy

  The workshop will take place in Rome, Italy, in Roma Tre University.

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. Papers should be formatted
  according to the CEUR-WS's single-column style (http://ceur-ws.org/HOWTOSUBMIT.html).

  RCRA 2023 uses EasyChair for the submission of contributions.

  Contributions must be submitted through this page:

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

  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:
                   marco at dibris.unige.it, M.Vallati at hud.ac.uk

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), possibly in conjunction
with other workshops.

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 2022 as a workshop of LPNMR 2022, Genova, Italy
    https://rcra2022.wordpress.com/
  * RCRA 2021 as a workshop of AI*IA 2021, Virtual
    https://rcra2021.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

University of Huddersfield inspiring global professionals.
[https://marketing.hud.ac.uk/_HOSTED/EmailSig2014/EmailSigFooterSeptember2021.jpg]

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.