LPNMR 2019 Program

Wednesday June 5th
Joint Session with Datalog

Chair: Marcello Balduccini

  • 9:00-10:00 Invited talk sponsored by Potassco Solutions: Michael Gelfond, Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective
  • 10:00-10:30 (Best Paper Award) Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro. Splitting Epistemic Logic Programs
  • 10:30-11:00 coffee break

Joint Session with Datalog

Chair: Mario Alviano

  • 11:00-11:30 (DataLog) Jack Clearman, Ruslan Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder,Emanuel Sallinger and Evgeny Sherkhonov. Feature Engineering and Explainability with Vadalog: A Recommender Systems Application
  • 11:30-12:00 Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti and Philipp Wanko. Train scheduling with hybrid ASP
  • 12:00-12:30 Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni and Mauro Vallati. An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots
  • 12:30-2:00 lunch (on your own)

KRR

Chair: Michael Gelfond

  • 2:00-2:30 Yi Wang and Joohyung Lee. Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+
  • 2:30-3:00 Sihem Belabbes, Salem Benferhat and Jan Chomicki. Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies
  • 3:00-3:30 Leopoldo Bertossi. Repair-Based Degrees of Database Inconsistency
  • 3:30-4:00 coffee break

Applications

Chair: Alex Brik

  • 4:00-4:30 Thu-Le Pham, Muhammad Intizar Ali and Alessandra Mileo. C-ASP: Continuous ASP-based Reasoning over RDF Streams
  • 4:30-5:00 Vedran Kasalica, Ioannis Gerochristos, Jose Julio Alferes, Ana Sofia Gomes, Matthias Knorr and Joao Leite. Telco Network Inventory Validation with NoHR
  • 5:00-5:30 Anduo Wang and Zhijia Chen. Internet Routing and Non-Monotonic Reasoning
Thursday June 6th

Applications

Chair: Yuliya Lierler

  • 9:00-10:00 Invited talk sponsored by EurAI: Esra Erdem, Integrating AI and Robotics using Answer Set Programming
  • 10:00-10:30 Alex Brik and Jori Bomanson. Diagnosing Data Pipeline Failures Using Action Languages
  • 10:30-11:00 coffee break

Argumentation

Chair: Pedro Cabalar

  • 11:00-11:30 Lena Rolf, Gabriele Kern-Isberner and Gerhard Brewka. Argumentation-based Explanations for Answer Sets using ADF
  • 11:30-12:00 Pierre Bisquert, Florence Dupin De Saint Cyr and Philippe Besnard. Assessing arguments with schemes and fallacies
  • 12:00-12:30 Jesse Heyninck and Ofer Arieli. Simple Contrapositive Assumption-Based Frameworks
  • 12:30-2:00 lunch (on your own)

Systems

Chair: Carmine Dodaro

  • 2:00-2:30 Pedro Cabalar, Roland Kaminski, Philip Morkisch and Torsten Schaub. telingo = ASP + Time
  • 2:30-3:00 Pedro Cabalar, Martín Diéguez and Torsten Schaub. Towards Dynamic Answer Set Programming over finite traces
  • 3:00-3:30 Vladimir Lifschitz, Patrick Lühne and Torsten Schaub. Verifying Strong Equivalence of Programs in the Input Language of GRINGO
  • 3:30-4:00 coffee break

Foundations

Chair: Fangkai Yang

  • 4:00-4:30 Johannes K. Fichte and Markus Hecher. Treewidth and Counting Projected Answer Sets
  • 4:30-5:00 Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro. Founded World Views with Autoepistemic Equilibrium Logic
  • 5:00-5:30 Sopo Pkhakadze and Hans Tompits. A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur
Friday June 7th

Systems

Chair: Esra Erdem

  • 9:00-10:00 Invited talk sponsored by ALP: V.S. Subrahmanian, Logic for Machine Learning based Security
  • 10:00-10:30 Tu-San Pham, Jo Devriendt and Patrick De Causmaecker. Declarative local search for predicate logic
  • 10:30-11:00 coffee break

Systems

Chair: Torsten Schaub

  • 11:00-11:30 Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri and Jessica Zangari. Enhancing DLV for Large-Scale Reasoning
  • 11:30-12:00 Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea and Francesco Ricca. Evaluation of disjunctive programs in WASP
  • 12:00-12:30 Richard Taupe, Antonius Weinzierl and Gerhard Friedrich. Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
  • 12:30-2:00 lunch (on your own)

Systems

Chair: Son Cao Tran

  • 2:00-2:30 (Best Student Paper Award) Thomas Eiter and Tobias Kaminski. Pruning External Minimality Checking for ASP Using Semantic Dependencies
  • 2:30-3:00 Flavio Everardo, Tomi Janhunen, Roland Kaminski and Torsten Schaub. The return of XORRO
  • 3:00-3:30 Organizers: Carmine Dodaro, Christoph Redl and Peter Schüller; Participant: Mario Alviano. The ASP Challenge 2019
  • 3:30-4:00 coffee break