HYDRA2022: HYbrid Models for Coupling Deductive and Inductive ReAsoning Genova, Italy, September 5-8, 2022 |
Conference website | https://hydra2022.demacs.unical.it/ |
Submission link | https://easychair.org/conferences/?conf=hydra2022 |
Submission deadline | July 20, 2022 |
**NEWS** EXTENDED DEADLINE JULY 20, 2022
Scope of the workshop
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 202220 July 2022 - Notification of acceptance:
25 July 20225 August 2022 - Camera-Ready copy due:
5 August 202220 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
-
Erman Acar, Leiden University
-
Weronika T. Adrian, AGH University of Science and Technology
-
Marcello Balduccini, Saint Joseph's University
-
Pedro Cabalar, University of Corunna
-
Stefania Costantini, Università dell'Aquila
-
Elena De Momi, Politecnico di Milano
-
Claudia Diamantini, Università Politecnica delle Marche
-
Esra Erdem, Sabanci University
-
Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
-
Gianluigi Greco, University of Calabria
-
Matthias Lanzinger, University of Oxford
-
Maurizio Lenzerini, Sapienza University of Rome
-
Thomas Lukasiewicz, University of Oxford
-
Marco Maratea, University of Genova
-
Sara Moccia, Scuola Superiore Sant'Anna
-
Luca Oneto, University of Genoa
-
Francesco Pacenza, University of Calabria
-
Simona Perri, University of Calabria
-
Rafael Peñaloza, University of Milano-Bicocca
-
Domenico Potena, Università Politecnica delle Marche
-
Maria Francesca Spadea, Magna Graecia University
-
Domenico Ursino, Università Politecnica delle Marche
-
Paolo Zaffino, Magna Graecia University
-
Jessica Zangari, University of Calabria
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.