-------- Forwarded Message -------- Subject: [WI] RCRA 2018: Call for papers (deadline April 15th) Date: Sat, 31 Mar 2018 10:46:05 +0200 From: Marco Maratea marco@dist.unige.it Reply-To: Marco Maratea marco@dist.unige.it Organization: DIBRIS - University of Genova

[APOLOGIES FOR MULTIPLE POSTINGS]

* ______________________________________________________________________ *

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

organizes the

25th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2018)

workshop of the Federated Logic Conference 2018 (FLoC 2018) http://www.floc2018.org/ Oxford, UK, July 13th, 2018

RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra-2018 e-mail: rcra2018[AT]easychair[DOT]org

* ______________________________________________________________________ *

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: April 15th, 2018 Notification of acceptance: May 15th, 2018 Final version of accepted original papers: TBC RCRA workshop: July 13th, 2018

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 Oxford University, UK

SUBMISSIONS

Authors are invited to submit either original (full or short) papers, or papers that appear on conference proceedings.

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.

The authors are requested to clearly specify whether their submission is original or already published. A footnote in the first page would suffice, and the type of submission can be specified also while registering/submitting the paper.

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 2018 uses EasyChair for the submission of contributions.

Contributions must be submitted through this page:

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

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

CONTACT In case of need, the workshop co-chairs can be contacted by sending an email to: rcra2018[AT]easychair[DOT]org

PROCEEDINGS

Accepted original papers may be published online, as an issue of the CEUR-WS workshop proceeding series, AI*IA sub-series, provided that a sufficient amount of original accepted papers is collected.

Moreover, as in previous editions (http://rcra.aixia.it/publications), we are considering the possibility of having workshop post-proceedings appearing in a special issue of an international journal, provided that a sufficient amount of high quality papers is collected.

HISTORY OF THE RECENT WORKSHOP SERIES

* 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 * RCRA 2013, Rome, Italy - http://rcra.aixia.it/rcra2013 Extended versions of the best papers will appear in a special issue of JETAI * Previous editions: http://rcra.aixia.it/workshops

-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi