Vol-2678
urn:nbn:de:0074-2678-5

Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

ICLP20WS 2020
International Conference on Logic Programming 2020 Workshops

International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming (ICLP 2020)

Rende, Italy, September 18-19, 2020.

Edited by

Carmine Dodaro *
George Aristidis Elder
Wolfgang Faber *
Jorge Fandinno **
Martin Gebser *
Markus Hecher *
Emily LeBlanc
Michael Morak *
Jessica Zangari *

* University of Calabria, Department of Mathematics and Computer Science, 87036 Rende, Italy
** Queen Mary University of London, School of Biological and Chemical Sciences, London E1 4NS, UK
*** University of Klagenfurt, Faculty of Technical Sciences, 9020 Klagenfurt, Austria
**** University of Potsdam, Faculty of Science, 14476 Potsdam, Germany
***** Vienna University of Technology, Faculty of Informatics, 1040 Vienna, Austria
****** US Naval Research Lab, Navy Center for Applied Research in Artificial Intelligence, Washington DC 20375, USA

Table of Contents

Workshop on Answer Set Programming and Other Computing Paradigms

Encoding Choice Logics in ASP
Michael Bernreiter, Jan Maly, Stefan Woltran
Determining Action Reversibility in STRIPS Using Answer Set Programming
Lukáš Chrpa, Wolfgang Faber, Daniel Fišer, Michael Morak
Solving Assembly Line Workload Smoothing Problem via Answer Set Programming
Orkunt Sabuncu, Mehmet Cem Şimşek
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem
Pierre Tassel, Martin Gebser, Mohamed Rbaia

Workshop on Causal Reasoning and Explanation in Logic Programming

Action Languages and COVID-19: Lessons Learned
Marcello Balduccini, Michael Barborak, David Ferrucci
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains
Michael Gelfond, Evgenii Balai
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
Giovanni Sileno
Actual Causality in Contextual Abduction
Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik

Workshop on Epistemic Extensions of Logic Programming

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Pedro Cabalar, Jorge Fandinno, Fariñas del Cerro
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs
Wolfgang Faber, Michael Morak
Structural Decompositions of Epistemic Logic Programs
Markus Hecher, Michael Morak, Stefan Woltran
An Epistemic Logic for Reasoning about Strategies in General Auctions
Munyque Mittelmann, Laurent Perrussel

Workshop on Probabilistic Logic Programming

An Analysis of Gibbs Sampling for Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
Towards Structure Learning under the Credal Semantics
David Tuckey, Krysia Broda, Alessandra Russo
Proportional dependencies and asymptotics of probabilistic representations
Felix Weitkämper

2020-09-17: submitted by Martin Gebser, metadata incl. bibliographic data published under Creative Commons CC0
2020-09-19: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|