| 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|