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
2011	Parametrized Equilibrium Logic.	Ricardo Gonalves, Jos Jlio Alferes
2011	Transaction Logic with External Actions.	Ana Sofia Gomes, Jos Jlio Alferes
2011	New Semantics for Epistemic Specifications.	Michael Gelfond
2011	A Portfolio Solver for Answer Set Programming: Preliminary Report.	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller
2011	Cluster-Based ASP Solving with	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor
2011	plasp: A Prototype for PDDL-Based Planning in ASP.	Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub
2011	Advances in	Martin Gebser, Roland Kaminski, Arne Knig, Torsten Schaub
2011	Reactive Answer Set Programming.	Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
2011	On Influence and Contractions in Defeasible Logic Programming.	Diego R. Garca, Sebastian Gottifredi, Patrick Krmpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier Garca
2011	Relational Information Exchange and Aggregation in Multi-Context Systems.	Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
2011	ASPIDE: Integrated Development Environment for Answer Set Programming.	Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011	Privacy Preservation Using Multi-Context Systems.	Wolfgang Faber
2011	Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.	Thomas Eiter, Michael Fink, Peter Schller
2011	Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.	Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schller
2011	Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.	Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schller
2011	Nonmonotonic Multi-Context Systems in Dynamic Environments.	Thomas Eiter
2011	Lightweight Communication Platform for Heterogeneous Multi-context Systems: A Preliminary Report.	Vladimr Dziuban, Michal Certick, Jozef Siska, Michal Vince
2011	Symmetry Breaking for Distributed Multi-Context Systems.	Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011	Model Streaming for Distributed Multi-Context Systems.	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2011	Modularity of P-Log Programs.	Carlos Viegas Damsio, Joo Moura Pires
2011	Weight Constraints with Preferences in ASP.	Stefania Costantini, Andrea Formisano
2011	Contingency-Based Equilibrium Logic.	Luis Farias del Cerro, Andreas Herzig
2011	The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.	Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011	STeLP - A Tool for Temporal Answer Set Programming.	Pedro Cabalar, Martn Diguez
2011	Temporal Equilibrium Logic.	Pedro Cabalar

276–300 of 697← Previous Next →

Comparable venues

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