LPNMR

Keyphrases

Publications

2022

Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani
Inference to the Stable Explanations. LPNMR (2022)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR (2022)
Thomas Eiter, Patrik Schneider
A Qualitative Temporal Extension of Here-and-There Logic. LPNMR (2022)
Liu Liu, Mirek Truszczynski, Yuliya Lierler
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. LPNMR (2022)
Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski
Solving Problems in the Polynomial Hierarchy with ASP(Q). LPNMR (2022)
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. LPNMR (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
Analysis of Cyclic Fault Propagation via ASP. LPNMR (2022)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
SHACL: A Description Logic in Disguise. LPNMR (2022)
Pierangela Bruno, Francesco Calimeri, Cinzia Marte
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models. LPNMR (2022)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler
Arguing Correctness of ASP Programs with Aggregates. LPNMR (2022)
Stefano Bistarelli, Francesco Santini
A Definition of Sceptical Semantics in the Constellations Approach. LPNMR (2022)
Mark Law, Théophile Sautory, Ludovico Mitchener, Kari Davies, Matthew Tonkin, Jessica Woodhams, Dalal Alrajeh
Learning to Rank the Distinctiveness of Behaviour in Serial Offending. LPNMR (2022)
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
Clingraph: ASP-Based Visualization. LPNMR (2022)
Rafael Peñaloza, Francesco Ricca
Pinpointing Axioms in Ontologies via ASP. LPNMR (2022)
Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. LPNMR (2022)
Dieter Vandesande, Wolf De Wulf, Bart Bogaerts
QMaxSATpb: A Certified MaxSAT Solver. LPNMR (2022)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR (2022)
Chiaki Sakama, Tran Cao Son
Interlinking Logic Programs and Argumentation Frameworks. LPNMR (2022)
Masood Feyzbakhsh Rankooh, Tomi Janhunen
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. LPNMR (2022)
Davide Beretta, Stefania Monica, Federico Bergenti
A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming. LPNMR (2022)
Andreas Brännström, Juan Carlos Nieves
Emotional Reasoning in an Action Language for Emotion-Aware Planning. LPNMR (2022)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
Enumeration of Minimal Models and MUSes in WASP. LPNMR (2022)
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
Knowledge-Based Support for Adhesive Selection. LPNMR (2022)
Benjamin Callewaert, Joost Vennekens
ASP for Flexible Payroll Management. LPNMR (2022)
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Jerzy Gorczyca, Markus Hecher
A Practical Account into Counting Dung's Extensions by Dynamic Programming. LPNMR (2022)
Akihiro Takemura, Katsumi Inoue
Gradient-Based Supported Model Computation in Vector Spaces. LPNMR (2022)
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
Statistical Statements in Probabilistic Logic Programming. LPNMR (2022)
Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
xASP: An Explanation Generation System for Answer Set Programming. LPNMR (2022)
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement. LPNMR (2022)
Stefania Costantini, Andrea Formisano
Epistemic Logic Programs: A Study of Some Properties. LPNMR (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Optimising Business Process Discovery Using Answer Set Programming. LPNMR (2022)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR (2022)
Zachary Hansen, Yuliya Lierler
Semantics for Conditional Literals via the SM Operator. LPNMR (2022)
Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner
Towards Causality-Based Conflict Resolution in Answer Set Programs. LPNMR (2022)
Elisa Böhl, Sarah Alice Gaggl
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy. LPNMR (2022)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Answer Set Programming over Timed Traces. LPNMR (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP Forgetting with Forks. LPNMR (2022)
Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR (2022)
Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo
Computing Smallest MUSes of Quantified Boolean Formulas. LPNMR (2022)

volume 13416, 2022

Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings LPNMR 13416 (2022)

2019

volume 11481, 2019

Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings LPNMR 11481 (2019)