1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning

HYDRA 2022


Artificial Intelligence



In the last decades, deductive reasoning has been widely used in several fields such as planning, scheduling problems, robotics controls applications, and many others thanks to its ability in developing specific conclusions based on valid evidence or facts, leading to a wide range of real-world and industrial applications.
Nevertheless, although deductive reasoning enhances a deeper analysis of a context, it requires consistent premises and a proper knowledge base to make the right inferences; on the other hand, inductive reasoning extracts a (possibly) generalized conclusion from limited and specific observations. In particular, recent advancements in inductive reasoning, such as Machine and Deep Learning, have proved to be greatly promising in recognizing meaningful patterns and connections from several observations (i.e., huge amounts of data). However, such approaches suffer from the lack of proper means for interpreting the model's choices and for driving the decisions according to prior knowledge.
Considering that neither deductive nor inductive methods cannot be considered the ultimate, comprehensive solutions to Artificial Intelligence, novel approaches combining and intertwining such methods advantageously allow to take advantage of the peculiarities and strengths of the two methods.
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.
Keywords: Logic programming, Deductive Reasoning, Inductive Reasoning, Hybrid reasoning models, Deep Learning, Machine Learning
# List of Topics
Possible topics of interest include, 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.
# Submission Guidelines
Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hydra2022
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 CEUR official art style (http://ceur-ws.org/Vol-XXX). Full papers should not exceed 12 pages (including bibliography); short, position, and discussion papers should not exceed 8 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).
# Proceedings and post-Proceedings
All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop web site including a link to the original publication, if already published.
The organizers 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. In such case, authors of accepted papers will be invited to submit extended and revised versions of their papers. Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. A second review formal process will be run in order to meet the expected quality of a journal.
# Important Dates
Paper submission: 30 June 2022
Notification of acceptance: 25 July 2022
Camera-Ready copy due: 5 August 2022
Workshop starts: 5 September 2022
# Committees
## General Chairs
Francesco Calimeri, University of Calabria
Giorgio Terracina, University of Calabria
## Program Chairs
Pierangela Bruno, University of Calabria
Francesco Cauteruccio, Polytechnic University of Marche
## Program Committee
TBA
# Venue
The workshop is co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022).
# Contact
All questions about submissions and general info should be emailed to hydra2022_at_easychair.org.