posted by organizer: fcauteruccio || 1237 views || tracked by 3 users: [display]

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


When Sep 5, 2022 - Sep 5, 2022
Where Genova Nervi, Italy
Submission Deadline Jun 30, 2022
Notification Due Jul 25, 2022
Final Version Due Aug 5, 2022
Categories    logic programming   deductive reasoning   inductive reasoning   machine learning

Call For Papers

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:

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 ( 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 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


# 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

Related Resources

HYDRA 2023   2nd International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning
CVPR 2024   The IEEE/CVF Conference on Computer Vision and Pattern Recognition
IJCLR 2023   3rd International Joint Conference on Learning and Reasoning
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
ICDM 2023   International Conference on Data Mining
IEEE Xplore-Ei/Scopus-CSPIT 2023   2023 Asia Conference on Communications, Signal Processing and Information Technology (CSPIT 2023) -EI Compendex
ICDE 2024   40th IEEE International Conference on Data Engineering
IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
KR 2023   Principles of Knowledge Representation and Reasoning
GIRES_HARLEM Renaissance 2024   Celebrating the Centenary of the Harlem Renaissance: Legacy, Influence, and Contemporary Perspectives