Skip to content

International Conference on Logic Programming and Non-monotonic Reasoning

LPNMR

B

CORE rank

CORE rank (raw)

B

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

697

1990–2024

Papers per year

199075 peak2024

LPNMR papers

697 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2022IASCAR: Incremental Answer Set Counting by Anytime Refinement.Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2022Arguing Correctness of ASP Programs with Aggregates.Jorge Fandinno, Zachary Hansen, Yuliya Lierler
2022Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking.Marco Esposito, Leonardo Picchiami
2022Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022A Qualitative Temporal Extension of Here-and-There Logic.Thomas Eiter, Patrik Schneider
2022Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper).Abeer Dyoub, Stefania Costantini, Ivan Letteri
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
2022A Practical Account into Counting Dung's Extensions by Dynamic Programming.Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Jerzy Gorczyca, Markus Hecher
2022Epistemic Logic Programs: A Study of Some Properties.Stefania Costantini, Andrea Formisano
2022Towards Inductive Learning of Domain-Specific Heuristics for ASP.Richard Comploi-Taupe
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
2022ASP for Flexible Payroll Management.Benjamin Callewaert, Joost Vennekens
2022Metric Temporal Answer Set Programming over Timed Traces.Pedro Cabalar, Martn Diguez, Torsten Schaub, Anna Schuhmann
2022DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models.Pierangela Bruno, Francesco Calimeri, Cinzia Marte
2022Emotional Reasoning in an Action Language for Emotion-Aware Planning.Andreas Brnnstrm, Juan Carlos Nieves
2022Analysis of Cyclic Fault Propagation via ASP.Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons, Greg Kimberly
2022Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy.Elisa Bhl, Sarah Alice Gaggl
2022SHACL: A Description Logic in Disguise.Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022A Definition of Sceptical Semantics in the Constellations Approach.Stefano Bistarelli, Francesco Santini
2022A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming.Davide Beretta, Stefania Monica, Federico Bergenti
2022Statistical Statements in Probabilistic Logic Programming.Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022Solving Problems in the Polynomial Hierarchy with ASP(Q).Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski
2022Enumeration of Minimal Models and MUSes in WASP.Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2022Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds.Mario Alviano, Sotiris Batsakis, George Baryannis
2022Syntactic ASP Forgetting with Forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal
5175 of 697← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.