The CEUR volume with original ICLP 2020 workshop papers is available here.
Accepted papers are listed below.
- "Encoding Choice Logics in ASP" - Michael Bernreiter, Jan Maly and Stefan Woltran (paper)
- "Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard" - Jorge Fandinno and Markus Hecher (paper)
- "A Machine Learning guided Rewriting Approach for ASP Logic Programs" - Elena Mastria, Jessica Zangari, Simona Perri and Francesco Calimeri (paper)
- "Extending XORRO with Approximate Model Counting" - Flavio Everardo, Markus Hecher and Ankit Shukla (paper)
- "An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem" - Pierre Tassel, Martin Gebser and Mohamed Rbaia (paper)
- "An ASP semantics for Constraints involving Conditional Aggregates" - Philipp Wanko, Torsten Schaub, Jorge Fandinno and Pedro Cabalar (paper)
- "Answer Set Programming Made Easy", Jorge Fandinno, Seemran Mishra, Javier Romero and Torsten Schaub (paper)
- "Using rule-based tools for the fast prototyping of artificial players in game development" - Denise Angilica, Aysu Bogatarkan, Giovambattista Ianni and Francesco Pacenza (paper)
- "Solving Assembly Line Workload Smoothing Problem via Answer Set Programming" - Orkunt Sabuncu and Mehmet Cem Şimşek (paper)
- "Implementing Dynamic Answer Set Programming over finite traces" - Pedro Cabalar, Martín Diéguez, Torsten Schaub and François Laferriere (paper)
- "Determining Action Reversibility in STRIPS Using Answer Set Programming" - Lukas Chrpa, Wolfgang Faber, Daniel Fišer and Michael Morak (paper)
- "A Logic-Based Question Answering System for Cultural Heritage" - Bernardo Cuteri, Kristian Reale and Francesco Ricca (paper)