===============================
Second Call for Papers
===========================================================================================
FATIL2022
The First International Conference on
Foundations, Applications, and Theory of Inductive Logic

http://fatil2022.krportal.org/index.html

October 12-14, 2022

Description
===========================================================================================
Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of “reasoning from experience”. It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning.

The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning. This includes in particular the following aspects:

– Foundations of many of our best theories crucially depend on inductive logic and more  widely induction. Uncertainty is ubiquitous in our lives and the philosophical problem  arises to make sense of probabilities and to act sensibly in the face of uncertainties.
 General philosophy of science is much interested in (the reconstruction of) rational  inference in general and in science, in particular, in cases with inconclusive evidence.
– Theory of inductive inference can be developed within several traditions such as pure  inductive logic or inductive logic based on the maximum entropy principle.
– Applications have sprung from foundational thinking on induction in computer and data science. This includes aspects such as knowledge representation in multi-agent settings and machine learning approaches (such as inductive logic programming).

This conference welcomes contributions in all areas dealing with inductive reasoning.
Topics of interest include, but are not limited to:

* Foundational works about inductive reasoning, inductive logic, and induction, in  particular  critical examinations of existing principles.
* Computational approaches to inductive reasoning, in particular non-monotonic and other  non-classical logics.
* Computational approaches to reasoning under uncertainty.
* Machine learning approaches taking inductive reasoning into account such as inductive  logic programming.

The conference specifically welcomes preliminary works and discussion papers on the above topics as well as interdisciplinary works.

FATIL2022 is organised by the DFG Research Network “Foundations, Applications, and Theory of Inductive Logic” and will take place in Munich, Germany, October 12-14 2022.

The proceedings of FATIL2022 will be published at CEUR-WS. Authors of accepted papers will be invited to submit an extended version of their contribution for a special issue to be published in the Journal of Applied Logics.

Keynote Speakers
===========================================================================================
* Salem Benferhat (Artois University, France)
* Luc De Raedt (KU Leuven, Belgium)
* Dov Gabbay (University of Luxembourg, Luxembourg)
* Henri Prade (IRIT, CNRS and University Paul Sabatier, France)
* Wolfgang Spohn (University of Konstanz, Germany)
* Sandy Zabell (Northwestern University, USA)

Important Dates
===========================================================================================
Paper submission deadline: May 13, 2022
Notification of acceptance: June 27, 2022 Camera-ready version: July 22, 2022
Conference: Oct 12-14, 2022

Submission
===========================================================================================
We invite papers, which have to be in English and formatted according to the Springer LNCS style (template), in the following two categories:

* Full papers (12 pages max., including references) are expected to report on new  research that makes a substantial contribution to the field. Additional details  may be included in an appendix, which, however, will be read at the discretion of the PC.
* Extended abstracts (2 pages max., including references) can report on research in  progress or other issues of interest.

Submissions are handled through the EasyChair conference management system (https://easychair.org/conferences/?conf=fatil2022).

All papers will be subject to blind peer review based on the standard criteria of relevance, significance of results, originality of ideas, soundness, and quality of the presentation.

All accepted papers will be published in the conference proceedings via CEUR-WS, and will be presented at the conference. At least one author of each accepted paper must register for the conference and present the contribution.

Authors of accepted papers will be invited to submit an extended version of their contribution for a special issue to be published in the Journal of Applied Logics.

Organizers
===========================================================================================
General Chair: Matthias Thimm (University of Hagen, Germany) Local Chair: Jürgen Landes (Munich Center for Mathematical Philosophy, Germany) Publicity Chair: Kenneth Skiba (University of Hagen, Germany)

Program Committee
===========================================================================================
Martin Adamcik
Christoph Beierle
Salem Benferhat
Federico Cerutti
Sébastien Destercke
Andreas Herzig
Hykel Hosni
Simon Huttegger
Gabriele Kern-Isberner
Kristian Kersting
Jens Lemanski
John D. Norton
Nico Potyka
Henri Prade
Tjitze Rienstra
Jan-Willem Romeijn
Tom Sterkenburg
Jon Williamson
Francesca Zaffora Blando
===========================================================================================

********************************************************************************
Prof. Dr. Matthias Thimm
Artificial Intelligence Group
University of Hagen, Germany
Tel.: +49 (0)2331 987-3004
https://www.fernuni-hagen.de/aig – http://www.mthimm.de