| 2019 | A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. Sopo Pkhakadze, Hans Tompits |
| 2019 | An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
| 2019 | Argumentation-Based Explanations for Answer Sets Using ADF. Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka |
| 2019 | Assessing Arguments with Schemes and Fallacies. Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard |
| 2019 | C-ASP: Continuous ASP-Based Reasoning over RDF Streams. Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo |
| 2019 | Declarative Local Search for Predicate Logic. Tu-San Pham, Jo Devriendt, Patrick De Causmaecker |
| 2019 | Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. Richard Taupe, Antonius Weinzierl, Gerhard Friedrich |
| 2019 | Diagnosing Data Pipeline Failures Using Action Languages. Jori Bomanson, Alex Brik |
| 2019 | Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language p Yi Wang, Joohyung Lee |
| 2019 | Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies. Sihem Belabbes, Salem Benferhat, Jan Chomicki |
| 2019 | Enhancing DLV for Large-Scale Reasoning. Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2019 | Evaluation of Disjunctive Programs in WASP. Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2019 | Founded World Views with Autoepistemic Equilibrium Logic. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
| 2019 | Internet Routing and Non-monotonic Reasoning. Anduo Wang, Zhijia Chen |
| 2019 | Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings Marcello Balduccini, Yuliya Lierler, Stefan Woltran |
| 2019 | Pruning External Minimality Checking for ASP Using Semantic Dependencies. Thomas Eiter, Tobias Kaminski |
| 2019 | Repair-Based Degrees of Database Inconsistency. Leopoldo E. Bertossi |
| 2019 | Simple Contrapositive Assumption-Based Frameworks. Jesse Heyninck, Ofer Arieli |
| 2019 | Splitting Epistemic Logic Programs. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
| 2019 | Telco Network Inventory Validation with NoHR. Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite |
| 2019 | The Return of xorro. Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub |
| 2019 | Towards Dynamic Answer Set Programming over Finite Traces. Pedro Cabalar, Martín Diéguez, Torsten Schaub |
| 2019 | Train Scheduling with Hybrid ASP. Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
| 2019 | Treewidth and Counting Projected Answer Sets. Johannes Klaus Fichte, Markus Hecher |
| 2019 | Verifying Strong Equivalence of Programs in the Input Language of gringo. Vladimir Lifschitz, Patrick Lühne, Torsten Schaub |
| 2019 | telingo = ASP + Time. Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |