International Conference on Logic Programming and Non-monotonic Reasoning

LPNMR

CORE rank

CORE rank (raw)

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

697

1990–2024

Best Artificial Intelligence conferences Best Theory of Computation conferences

Papers per year

199075 peak2024

Most published authors

LPNMR papers

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

Year	Title	Authors
2022	Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.	Wolfgang Faber, Michael Morak
2019	Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language p	Yi Wang, Joohyung Lee
2019	Internet Routing and Non-monotonic Reasoning.	Anduo Wang, Zhijia Chen
2019	Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.	Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
2019	Argumentation-Based Explanations for Answer Sets Using ADF.	Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka
2019	A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur.	Sopo Pkhakadze, Hans Tompits
2019	Declarative Local Search for Predicate Logic.	Tu-San Pham, Jo Devriendt, Patrick De Causmaecker
2019	C-ASP: Continuous ASP-Based Reasoning over RDF Streams.	Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo
2019	Verifying Strong Equivalence of Programs in the Input Language of gringo.	Vladimir Lifschitz, Patrick Lhne, Torsten Schaub
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	Telco Network Inventory Validation with NoHR.	Vedran Kasalica, Ioannis Gerochristos, Jos Jlio Alferes, Ana Sofia Gomes, Matthias Knorr, Joo Leite
2019	Simple Contrapositive Assumption-Based Frameworks.	Jesse Heyninck, Ofer Arieli
2019	Treewidth and Counting Projected Answer Sets.	Johannes Klaus Fichte, Markus Hecher
2019	The Return of xorro.	Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
2019	Pruning External Minimality Checking for ASP Using Semantic Dependencies.	Thomas Eiter, Tobias Kaminski
2019	telingo = ASP + Time.	Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
2019	Founded World Views with Autoepistemic Equilibrium Logic.	Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro
2019	Splitting Epistemic Logic Programs.	Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro
2019	Towards Dynamic Answer Set Programming over Finite Traces.	Pedro Cabalar, Martn Diguez, Torsten Schaub
2019	Diagnosing Data Pipeline Failures Using Action Languages.	Jori Bomanson, Alex Brik
2019	Assessing Arguments with Schemes and Fallacies.	Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard
2019	Repair-Based Degrees of Database Inconsistency.	Leopoldo E. Bertossi
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	Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies.	Sihem Belabbes, Salem Benferhat, Jan Chomicki
2019	Evaluation of Disjunctive Programs in WASP.	Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca

76–100 of 697← Previous Next →

Comparable venues

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