Final CfP for HYDRA Workshop at ECAI’24

Dear All,

This is the final invitation for the HYDRA workshop (HYbrid Models for 
Coupling Deductive and Inductive ReAsoning) at ECAI 2024. The deadline 
has been extended to July, 5th (this Friday).

Hope to see you in Santiago de Compostela! :)
HYDRA Organizers

—-------------------------------------- @->------ 
---------------------------

Please circulate within your networks. Apologies for multiple postings.
===============================================================================================================
3rd International Workshop on HYbrid Models for Coupling Deductive and 
Inductive ReAsoning: HYDRA2024

Santiago de Compostela (Spain), October 19-24, 2024
https://sites.google.com/unical.it/hydra-2024/

CO-LOCATED with the 27th European Conference on Artificial Intelligence 
(ECAI 2024)
===============================================================================================================
== IMPORTANT DATES ==
Paper submission: 5 July 2024
Notification of acceptance: 20 July 2024
Camera-Ready copy due: 10 September 2024
Workshop starts: 20 October 2024

== SUBMISSION GUIDELINES ==
Authors are invited to submit their manuscripts in PDF via the EasyChair 
system at the link: https://easychair.org/conferences/?conf=hydra2024.

The workshop welcomes both full papers, possibly already submitted to 
other conferences or journals, and short papers, which are suggested for 
presenting work in progress, extended abstracts, software prototypes, or 
general overviews of research projects. The workshop also welcomes 
position and discussion papers.

All submissions must be in PDF format, written in English, and formatted 
according to the LNCS format 
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). 
Full papers should not exceed 13 pages (including bibliography); short, 
position, and discussion papers should not exceed 6 pages (including 
bibliography). To ease the reviewing process, the authors of full papers 
may add an appendix (although reviewers are not required to consider it 
in their evaluation).

== CALL FOR PAPERS ==
The HYDRA workshop seeks to bridge the gap between deductive and 
inductive reasoning, two powerful but distinct methods in artificial 
intelligence. While deductive reasoning relies on explicit premises and 
logical inference rules to derive specific conclusions, inductive 
reasoning infers generalizations from observations, often with the help 
of Machine Learning and Deep Learning techniques. Combining these 
approaches paves the way for potentially creating more robust and 
flexible Artificial Intelligence (AI) systems that can reason 
effectively in various contexts. Nevertheless, neither deductive nor 
inductive reasoning methods can be considered the ultimate, 
comprehensive solutions to AI. Therefore, studying how they can be 
intertwined advantageously enables the development of new solutions that 
can take into account the peculiarities and strengths of the two 
methods.

Within HYDRA, we welcome submissions of original research on all aspects 
of hybrid deductive-inductive reasoning, including theoretical 
frameworks, practical applications, and experimental results. We are 
interested in approaches that address key challenges in this area, such 
as developing methods for integrating logical and statistical models, 
designing algorithms that can reason with incomplete or uncertain 
knowledge, and creating tools for explaining and interpreting hybrid 
models. We also encourage work that investigates these technologies' 
ethical and social implications, including issues related to fairness, 
accountability, and transparency.

The HYDRA workshop aims at bringing together the scientific community, 
and welcomes both theoretical and practical papers on frameworks, 
applications, and methods for integrating and combining deductive and 
inductive systems in different scenarios, to any extent. The workshop 
also welcomes summaries of recently published papers, as well as 
work-in-progress contributions. HYDRA returns from previous successful 
editions and welcomes further contributions.

Possible topics of interest are, but are NOT limited to:

* Hybrid inductive-deductive approaches to AI,
* Interaction of inductive and deductive techniques for AI solutions,
* Integration of Answer Set Programming (ASP) in inductive scenarios,
* Integration of Constraint Programming (CSP) in inductive scenarios,
* Integration of other logic programming paradigms in inductive 
scenarios,
* Integration of declarative solutions in inductive scenarios,
* Logic programming language extensions for supporting inductive 
processes,
* New methods for coupling peculiarities of deductive and inductive 
systems,
* Inductive reasoning to enhance and improve deductive systems,
* Deductive processes for intensive data flow management,
* Deductive processes in strong inductive-tailored scenarios,
* Knowledge representation and reasoning for improving and enhancing 
inductive processing,
* Discussions and positions on novel hybrid methods of deductive and 
inductive reasoning,
* Evaluation and comparison of existing deductive and inductive methods,
* Hybridizing logic programming paradigms with procedural approaches,
* Novel contexts of application for hybrid deductive and inductive 
systems,
* Coupling reasoning with Large Language Models,
* Integrating reasoning in Retrieval-Augmented Generation.

== PROCEEDINGS AND POST-PROCEEDINGS ==
All accepted original contributions (both full and short) are being 
considered for publication in the CCIS book series.
If a sufficient number of high-quality papers are accepted, Chairs will 
consider the publication of a selection on an international journal 
special issue. However, should there be a limited number of accepted 
papers, the proceedings will be published on CEUR-WS.org.
Non-original communications will be given visibility on the workshop 
website including a link to the original publication, if already 
published.


== Committees ==

=== General Chairs ===
* Francesco Calimeri, University of Calabria, Italy
* Giorgio Terracina, University of Calabria, Italy

=== Program Chairs ===
* Pierangela Bruno, University of Calabria, Italy
* Francesco Cauteruccio, University of Salerno, Italy

=== Publicity Chair ===
* Weronika T. Adrian, AGH University of Science and Technology (Poland)

=== Program Committee ===
Mario Alviano, University of Calabria, Italy
Alessia Amelio, University "G. d'Annunzio" Chieti-Pescara, Italy
Andreas Brännström, Umeå university, Sweden
Luciano Caroprese, University "G. d'Annunzio" of Chieti-Pescara, Italy
Stefano Cirillo, Universita degli Studi di Salerno, Italy
Richard Comploi-Taupe, Siemens AG Österreich, Austria
Erica Coppolillo, University of Calabria, Italy
Stefania Costantini, University of L'Aquila, Italy
Carmine Dodaro, University of Calabria, Italy
Mauro Dragoni, Fondazione Bruno Kessler - FBK-IRST, Italy
Jonas Ehrhardt, Helmut-Schmidt University, Germany
Esra Erdem, Sabanci University, Turkey
Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria
Massimo Guarascio, ICAR-CNR, Italy
René Heesch, Helmut Schmidt University, Germany
Antonio Ielo, University of Calabria, Italy
Thomas Lukasiewicz, University of Oxford, UK
Marco Maratea, DIBRIS, University of Genova, Italy
Cinzia Marte, University of Calabria, Italy
Aldo Marzullo, Humanitas Research Hospital - AI Center, Italy
Giuseppe Mazzotta, University of Calabria, Italy
Oliver Niggemann, Helmut-Schmidt-Universität / Universität der 
Bundeswehr Hamburg, Germany
Luca Oneto, University of Genoa, Italy
Pierpaolo Pellicori, University of Glasgow, UK
Rafael Peñaloza, University of Milano-Bicocca, Italy
Luigi Portinale, Universita' del Piemonte Orientale "A. Avogadro", Italy
Francesco Ricca, University of Calabria, Italy
Sabrina Senatore, University of Salerno, Italy
Gioacchino Sterlicchio, Politechnic University of Bari, Italy
Domenico Ursino, Polytechnic University of the Marches, Italy
Alessio Zanga, University of Milano - Bicocca, Italy
Ester Zumpano, University of Calabria, Italy

Received on Tuesday, 2 July 2024 11:11:20 UTC