Logic List Mailing Archive

CAUSAL 2020: Causal Reasoning & Explanation in Logic Programming, Virtual

17-18 Sep 2020

[EXTENDED DEADLINE: Submission deadline August 1st 2020]

Workshop on Causal Reasoning and Explanation in Logic Programming

CALL FOR PAPERS

*** CAUSAL 2020 ***

(September 17 or 18, 2020)

Workshop on Causal Reasoning and Explanation in Logic Programming

CAUSAL 2020 is a workshop co-located with ICLP 2020
in University of Calabria, Rende, Italy.

NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on 
the situation, and we will revise our workshop timeline and other 
procedures accordingly if needed.

CAUSAL 2020 will be a fully virtual workshop. More details will be announced
soon.


CAUSAL 2020 IMPORTANT DATES
-----------------------
* Paper submission: August 1 2020
* Notification: August 15 2020
* Final Versions: August 30th 2020
* Workshop Date: September 17th or 18th 2020

------------------------

Sophisticated causal reasoning has long been prevalent in human society and
continues to have an undeniable impact on the advancement of science,
technology, medicine, and other significant fields. From the development of
ancient tools to modern roots of causal analysis in business and industry,
reasoning about causality and having the ability to explain causal mechanisms
enables us to identify how an outcome of interest came to be and gives
insight into how to bring about, or even prevent, similar outcomes in future
scenarios.

This workshop aims to bring together researchers and practitioners of
logic programming with a dedicated focus on methods and trends emerging from
the study of causality and explanation. We welcome the submission of papers on
systems, tools, and applications of logic programming methods for causal
reasoning and explanation. In particular, we encourage submissions presenting
recent developments, including works in progress. The workshop will present
the latest research and application developments in these areas and provide
opportunities to discuss current and future research directions and
relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis,
Natural Language Processing and Understanding, Philosophy of Science). An
important
expected outcome of this workshop is to collect first-hand feedback from the
ICLP
community about the role and placement of causal reasoning and explanation in
the landscape of modern computer theory as well as in the software industry.

TOPICS
------
Topics of interests include (but are not limited to):

* Modeling causal theories in logic programming
* Formalization of types of causes: sufficient, necessary, actual, etc
* Causality, temporal reasoning and action theories
* Causality and counterfactual reasoning
* Causality, learning and experimental design
* Causality and probability
* Causality and equivalence
* Causality and ontology
* Relating LP based causality and Causal Networks
* Challenging problems and benchmark examples
* Justifications and argumentation
* Explanations for diagnosis and debugging
* Tools, systems and applications

Submissions must describe original research and be prepared using the Springer
LNAI/LNCS format. The workshop invites submissions of two types:

* Full papers no longer than 13 pages (excluding references)
* Extended abstracts no longer than 3 pages (excluding references)

https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

Please submit your paper via EasyChair:

https://easychair.org/my/conference?conf=causal2020

At least one co-author of each accepted paper must register for and
attend the workshop.

Please check the ICLP 2020 website for registration procedure and fees.
https://iclp2020.unical.it/

ORGANIZERS
----------
Emily LeBlanc, US Naval Research Lab, USA, emily.leblanc@nrl.navy.mil

Joost Vennekens, KU Leuven, Belgium

Tran Cao Son, New Mexico State University, USA

Pedro Cabalar, Corunna University, Spain

Jorge Fandio, University of Potsdam, Germany

Marcello Balduccini, Saint Joseph's University, USA

Yuliya Lierler, University of Nebraska at Omaha, USA
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam