Workshops day

From 8:00 to 9:00 there wiil be workshops and conference welcome desk

8:00 - 9:00 LPNMR 2022 Welcome Desk

09:00 - 09:30 LPNMR 2022 Opening

09:30 - 10:30 Systems (Chair: Mario Alviano)

• clingraph: ASP-based Visualization [Slides]

  • Susana Hahn, Orkunt Sabuncu, Torsten Schaub and Tobias Stolzmann

• Solving Problems in the Polynomial Hierarchy with ASP(Q) [Slides]

  • Giovanni Amendola, Bernardo Cuteri, Francesco Ricca and Mirek Truszczynski

• QMaxSATpb: A Certified MaxSAT Solver [Slides]

  • Dieter Vandesande, Wolf De Wulf and Bart Bogaerts

10:30 - 11:00 Coffee break

11:00 - 12:00 Invited tutorial: Andreas Pieris - Termination of Reasoning with Datalog+/- Ontologies (Chair: Leonid Libkin)

12:00 - 12:45 ASP Applications I (Chair: Stefania Costantini)

• Learning to Rank the Distinctiveness of Behaviour in Serial Offending [Slides]

  • Mark Law, Theophile Sautory, Ludovico Mitchener, Kari Davies, Matthew Tonkin, Jessica Woodhams and Dalal Alrajeh

• Analysis of Cyclic Fault Propagation via ASP [Slides]

  • Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonáš and Greg Kimberly

12:45 - 14:30 Lunch

14:30 - 15:30 Invited talk: Sheila McIlraith - Reward Machines: Formal Languages and Automata for Reinforcement Learning (online) (Chair: Daniela Inclezan)

15:30 - 16:30 LP & ML (Chair: Stefano Bistarelli)

• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring [Slides]

  • Carmine Dodaro, Davide Ilardi, Luca Oneto and Francesco Ricca

• A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection [Slides]

  • Liu Liu, Miroslaw Truszczynski and Yuliya Lierler

• DeduDeep: an Extensible Framework for Combining Deep Learning and ASP-based Models (Short) [Slides]

  • Pierangela Bruno, Francesco Calimeri and Cinzia Marte

• A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming (Short) [Slides]

  • Davide Beretta, Stefania Monica and Federico Bergenti

16:30 - 17:00 Coffee break

17:00 - 19:00 Doctoral Consortium (Chair: Martin Gebser)

• 17:00 - 17:03: Opening

• 17:04 - 17:16: Efficient Exploration of Solution Spaces Through Diverse Answer Sets

  • Elisa Böhl

• 17:17 - 17:29: Automata Techniques for Temporal Answer Set Programming

  • Susana Hahn

• 17:30 - 17:42: Tools and Methodologies for Verifying Answer Set Programs

  • Zach Hansen

• 17:43 - 17:55: Learning domain-specific heuristics for ASP

  • Antonio Ielo

• 17:56 - 18:08: Machine Learning: a data-driven booster to enhance planning, operation and design tools

  • Davide Ilardi

• 18:09 - 18:21: An NLP-based approach for modeling in ASP

  • Irfan Kareem

• 18:22 - 18:34: Compilation Techniques for ASP: from Aggregates to general programs

  • Giuseppe Mazzotta

• 18:35 - 18:47: Navigating Solution Spaces over Logic Programs

  • Dominik Rusovac

• 18:48 - 19:00: Knowledge Representation Methods for Bridging Machine Learning and Logical Reasoning

  • Akihiro Takemura

8:30 - 9:00 LPNMR 2022 Welcome Desk

09:00 - 10:30 ASP Solving (Chair: Martin Gebser)

• Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination [Slides]

  • Masood Feyzbakhsh Rankooh and Tomi Janhunen

• IASCAR: Incremental Answer Set Counting by Anytime Refinement

  • Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher and Dominik Rusovac

• Enumeration of minimal models and MUSes in WASP [Slides]

  • Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti and Francesco Ricca

• Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy

  • Elisa Böhl and Sarah Alice Gaggl

10:30 - 11:00 Coffee break

11:00 - 12:00 Invited talk: Alessandra Russo - Logic-based Machine Learning: Recent Advances and their role in neuro-symbolic AI (online) (Chair: Thomas Eiter)

12:00 - 12:45 Temporal representation and reasoning (Chair: Concepcion Vidal)

• Metric Temporal Answer Set Programming over Timed Traces [Slides]

  • Pedro Cabalar, Martín Diéguez, Torsten Schaub and Anna Schuhmann

• A Qualitative Temporal Extension of Here-and-There Logic [Slides]

  • Thomas Eiter and Patrik Schneider

12:45 - 14:30 Lunch

14:30 - 15:30 Invited tutorial: Viviana Mascardi and Angelo Ferrando - Exploiting Logic Programming for Runtime Verification (Chair: Sarah Gaggl)

15:30 - 16:30 ASP Theory (Chair: Tomi Janhunen)

• Syntactic ASP Forgetting with Forks [Slides]

  • Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez and Concepción Vidal

• Semantics for Conditional Literals via the SM Operator [Slides]

  • Zachary Hansen and Yuliya Lierler

• Arguing Correctness of ASP Programs with Aggregates [Slides]

  • Jorge Fandinno, Zachary Hansen and Yuliya Lierler

16:30 - 17:00 Coffee break

17:00 - 18:30 Epistemic, Probabilistic & Modal Logic (Chair: Wolfgang Faber)

• State Transition in Multi-agent Epistemic Domains using Answer Set Programming [Slides]

  • Yusuf Izmirlioglu, Loc Pham, Tran Cao Son and Enrico Pontelli

• Epistemic Logic Programs: a study of some properties [Slides]

  • Stefania Costantini and Andrea Formisano

• Statistical Statements in Probabilistic Logic Programming [Slides]

  • Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi

• Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds [Slides]

  • Mario Alviano, Sotiris Batsakis and George Baryannis

09:00 - 10:30 Argumentation (Chair: Stefan Woltran)

• Interlinking Logic Programs and Argumentation Frameworks [Slides]

  • Chiaki Sakama and Tran Cao Son

• Computing Smallest MUSes of Quantified Boolean Formulas [Slides]

  • Andreas Niskanen, Jere Mustonen, Jeremias Berg and Matti Järvisalo

• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams

  • Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac and Johannes P. Wallner

• A Definition of Sceptical Semantics in the Constellations Approach [Slides]

  • Stefano Bistarelli and Francesco Santini

10:30 - 11:00 Coffee break

11:00 - 12:00 Invited tutorial: Stefania Costantini - Answer Set Programming in the COST Action DigForASP: human rights and the problem of noise (Chair: Torsten Schaub)

12:00 - 12:45 ASP Applications II (Chair: Alice Tarzariol)

• ASP for Flexible Payroll Management [Slides]

  • Benjamin Callewaert and Joost Vennekens

• Optimising Business Process Discovery using Answer Set Programming (Short) [Slides]

  • Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali and Sergio Tessaris

• Pinpointing Axioms in Ontologies via ASP (Short) [Slides]

  • Rafael Peñaloza and Francesco Ricca

12:45 - 14:30 Lunch

14:30 - 15:30 Invited talk: Nicola Leone [ALP sponsored talk] - DLV evolution from Datalog to ontology and stream reasoning (Chair: Georg Gottlob)

15:30 - 16:30 NMR I (Chair: Francesco Ricca)

• SHACL: A Description Logic in Disguise [Slides]

  • Bart Bogaerts, Maxime Jakubowski and Jan Van den Bussche

• Towards Provenance in Heterogeneous Knowledge Bases [Slides]

  • Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves and João Leite

• A Practical Account into Counting Dung's Extensions by Dynamic Programming [Slides]

  • Ridhwan Dewoprabowo, Johannes K. Fichte, Piotr Jerzy Gorczyca and Markus Hecher

16:30 - 17:00 Coffee Break

17:00 - 20:00 Free Time / Walk in the Park of Nervi

20:30 Dinner at Bagni Medusa

09:00 - 10:00 Invited talk: Stefan Woltran [Potassco sponsored talk] - Abstract Argumentation with Focus on Argument Claims -- An Overview (Chair: Marco Maratea)

10:00 - 10:30 Explainability (Chair: Chiaki Sakama)

• Inference to the Stable Explanations [Slides]

  • Guido Governatori, Francesco Olivieri, Antonino Rotolo and Matteo Cristani

• xASP: An Explanation Generation System for Answer Set Programming (Short) [Slides]

  • Ly Ly Trieu, Tran Cao Son and Marcello Balduccini

10:30 - 11:00 Coffee break

11:00 - 12:45 NMR II (Chair: Cristina Sirangelo)

• Knowledge-Based Support for Adhesive Selection [Slides]

  • Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters and Joost Vennekens

• Gradient-Based Supported Model Computation in Vector Spaces [Slides]

  • Akihiro Takemura and Katsumi Inoue

• Towards Causality-Based Conflict Resolution in Answer Set Programs [Slides]

  • Andre Thevapalan, Konstantin Haupt and Gabriele Kern-Isberner

• Emotional Reasoning in an Action Language for Emotion-Aware Planning [Slides]

  • Andreas Brännström and Juan Carlos Nieves

• Reasoning about actions with EL ontologies and temporal answer sets for DLTL [Slides]

  • Laura Giordano, Alberto Martelli and Daniele Theseider Dupré

12:45 - 13:00 LPNMR 2022 Closing

13:00 - 14:45 Lunch