[loginf] CfP: The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'20)

Matthias Thimm thimm at uni-koblenz.de
Mon Jan 20 09:44:28 CET 2020


[Apologies if you receive multiple copies. Please forward this call to interested parties.]
===========================================================================================
Call for Papers
===========================================================================================
FATIL2020
The First International Conference on
Foundations, Applications, and Theory of Inductive Logic

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

September 1-4, 2020


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 (FATIL2020) 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.

FATIL2020 is organised by the DFG Research Network "Foundations, Applications, and Theory
of Inductive Logic" and will take place in Munich, Germany, 1-4th September 2020.

The proceedings of FATIL2020 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
===========================================================================================
* Dov M. Gabbay (University of Luxembourg, Luxembourg)
* Simon Hutteger (University of California, USA)
* Ute Schmid (University of Bamberg, Germany)
* Luc De Raedt (KU Leuven, Belgium)
* Claudia D'Amato (Università degli Studi di Bari, Italy)

Important Dates
===========================================================================================
Paper submission deadline: 	May 15, 2020
Notification of acceptance:	Jul 15, 2020
Camera-ready version:	       Aug 10, 2020
Conference:                            Sep 1-4, 2020

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
(link will be announced later).

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 Koblenz-Landau, Germany)
Local Chair:      Jürgen Landes (Munich Center for Mathematical Philosophy, Germany)

Program Committee
===========================================================================================
* Martin Adamčík
* Christoph Beierle
* Salem Benferhat
* Federico Cerutti
* Richard Dawid
* James Delgrande
* Sebastien Destercke
* Marcelo Finger
* Andreas Herzig
* Hykel Hosni
* Simon Huttegger
* Gabriele Kern-Isberner
* Kristian Kersting
* Dominik Klein
* Timm Lampert
* Jens Lemanski
* John Norton
* Nico Potyka
* Henri Prade
* Tjitze Rienstra
* Jan-Willem Romeijn
* Ricardo Silvestre
* Tom Sterkenburg
* Paul Thorn
* Olav Vassend
* Alena Vencovská
* Jon Williamson
* Francesca Zaffora Blando

===========================================================================================


********************************************************************************
PD Dr. Matthias Thimm
Institute for Web Science and Technologies (WeST)
Universität Koblenz, Germany
Tel.: +49-261-287-2715
http://west.uni-koblenz.de/ <http://west.uni-koblenz.de/> -- http://www.mthimm.de <http://www.mthimm.de/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20200120/bd0ab495/attachment.html>


More information about the loginf mailing list