LPNMR B

40 papers

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