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
2015Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning.Przemyslaw Andrzej Walega
2015An Implementation of Consistency-Based Multi-agent Belief Change Using ASP.Paul Vicol, James P. Delgrande, Torsten Schaub
2015Solving Disjunctive Fuzzy Answer Set Programs.Mushthofa Mushthofa, Steven Schockaert, Martine De Cock
2015Clause-Learning for Modular Systems.David G. Mitchell, Eugenia Ternovska
2015Multi-level Algorithm Selection for ASP.Marco Maratea, Luca Pulina, Francesco Ricca
2015Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens
2015Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access.Daniel P. Lupp
2015Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences.Tiep Le
2015Relational and Semantic Data Mining - - Invited Talk -.Nada Lavrac, Anze Vavpetic
2015Algorithmic Decision Theory Meets Logic - - Invited Talk -.Jrme Lang
2015On the Relationship Between Two Modular Action Languages: A Translation from MAD intoDaniela Inclezan
2015Infinitary Equilibrium Logic and Strong Equivalence.Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustn Valverde
2015Combining Heuristics for Configuration Problems Using Answer Set Programming.Martin Gebser, Anna Ryabokon, Gottfried Schenner
2015The Design of the Sixth Answer Set Programming Competition - - Report -.Martin Gebser, Marco Maratea, Francesco Ricca
2015Progress in clasp Series 3.Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
2015ASP Solving for Expanding Universes.Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
2015Reasoning with Forest Logic Programs Using Fully Enriched Automata.Cristina Feier, Thomas Eiter
2015OOASP: Connecting Object-Oriented and Logic Programming.Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn M. Shchekotykhin
2015Diagnostic Reasoning for Robotics Using Action Languages.Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur
2015ASP, Amalgamation, and the Conceptual Blending Workflow.Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza
2015Linking Open-World Knowledge Bases Using Nonmonotonic Rules.Thomas Eiter, Mantas Simkus
2015Interactive Debugging of Non-ground ASP Programs.Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
2015A New Computational Logic Approach to Reason with Conditionals.Emmanuelle-Anna Dietz, Steffen Hlldobler
2015A Formal Theory of Justifications.Marc Denecker, Gerhard Brewka, Hannes Strass
2015Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses.Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
151175 of 697← PreviousNext →

Comparable venues

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