posted by organizer: fcauteruccio || 1442 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

SUM 2024   16th International Conference on Scalable Uncertainty Management
ICMLA 2024   23rd International Conference on Machine Learning and Applications
MAMHYP 2024   Seventh Workshop on Models, Algorithms and Methodologies for Hybrid Parallelism in new HPC Systems (MAMHYP-24)
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
ICDM 2024   IEEE International Conference on Data Mining
KR 2024   Principles of Knowledge Representation and Reasoning
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
FLLM 2024   The 2nd International Conference on Foundation and Large Language Models
IEEE Big Data - MMAI 2024   IEEE Big Data 2024 Workshop on Multimodal AI (Hybrid)