Home

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: November 3rd, 2023
RCRA workshop: November 9th, 2023

Program

(15 minutes talks: 12 + 3 of Q&A)

9 – 10:30 Welcome & Session 1 (Planning & Neuro-Symbolic Computation)

Welcome (10 minutes)

Mikhail Soutchanski and Shaun Mathew
Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming

Mikhail Soutchanski and Ryan Young
Planning as Theorem Proving with Heuristics

Alessandro Daniele, Tommaso Campari, Sagar Malhotra and Luciano Serafini
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions

Stefania Costantini, Andrea Rafanelli and Giovanni De Gasperis
Experimenting an approach to Neuro-Symbolic RL

Gianluca Apriceno, Luca Erculiani and Andrea Passerini
A Neuro-Symbolic Approach for Non-Intrusive Load Monitoring

11-13 Session 2 (Knowledge Representation and Reasoning)

Alessandro Bertagnon and Marco Gavanelli
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches

Marco Favorito
Forward LTLf Synthesis: DPLL At Work

Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna and Aldo Ricioppo
Characterizing Nexus of Similarity between Entities

Mario Alviano, Laura Giordano and Daniele Theseider Dupre
Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases

Enrico Giunchiglia, Marco Maratea and Marco Mochi
A simple proof-theoretic characterization of Stable Models

Closing and Discussion

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.

The 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 regarding efficiency, problem modelling, and ease of development.

Topics of interest include, but are not limited to:

  • Experimental evaluation of algorithms for
    • knowledge representation
    • automated reasoning
    • planning
    • scheduling
    • machine learning
    • model checking
    • boolean satisfiability (SAT)
    • constraint programming
    • argumentation
    • temporal reasoning
    • combinatorial optimization
    • quantified boolean formulae and quantified constraints
    • modal logics
    • logic programming
    • answer set programming
    • 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 Calabria, Italy
Luciano Serafini FBK, Italy
Mauro Vallati University of Huddersfield, UK

Host Organisation 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.

Submission

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.maratea@unical.it, M.Vallati@hud.ac.uk

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

Design a site like this with WordPress.com
Get started