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
Most published authors
LPNMR papers
697 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2005 | An Algebraic Account of Modularity in ID-Logic. | Joost Vennekens, Marc Denecker |
| 2005 | An Approximation of Action Theories of and Its Application to Conformant Planning. | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2005 | Some Logical Properties of Nonmonotonic Causal Theories. | Marek J. Sergot, Robert Craven |
| 2005 | A DLP System with Object-Oriented Features. | Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso |
| 2005 | Inference of Gene Relations from Microarray Data by Abduction. | Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot |
| 2005 | circ2dlp - Translating Circumscription into Disjunctive Logic Programming. | Emilia Oikarinen, Tomi Janhunen |
| 2005 | Routley Semantics for Answer Sets. | Sergei P. Odintsov, David Pearce |
| 2005 | An ID-Logic Formalization of the Composition of Autonomous Databases. | Bert Van Nuffelen, Ofer Arieli, Alvaro Corts-Calabuig, Maurice Bruynooghe |
| 2005 | Approximating Answer Sets of Unitary Lifschitz-Woo Programs. | Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski |
| 2005 | Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. | Lengning Liu, Miroslaw Truszczynski |
| 2005 | cmodels - SAT-Based Disjunctive Answer Set Solver. | Yuliya Lierler |
| 2005 | Data Integration: a Challenging ASP Application. | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
| 2005 | Abduction and Preferences in Linguistics. | Kathrin Konczak, Ralf Vogel |
| 2005 | Nonmonotonic Reasoning in FLORA-2. | Michael Kifer |
| 2005 | Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. | Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2005 | Guarded Open Answer Set Programming. | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
| 2005 | Mode-Directed Fixed Point Computation. | Hai-Feng Guo |
| 2005 | Platypus: A Platform for Distributed Answer Set Solving. | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
| 2005 | nomore | Susanne Grell, Kathrin Konczak, Torsten Schaub |
| 2005 | Loops: Relevant or Redundant? | Martin Gebser, Torsten Schaub |
| 2005 | Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. | Alberto Finzi, Thomas Lukasiewicz |
| 2005 | Answer Sets for Propositional Theories. | Paolo Ferraris |
| 2005 | On Modular Translations and Strong Equivalence. | Paolo Ferraris |
| 2005 | Solving Hard ASP Programs Efficiently. | Wolfgang Faber, Francesco Ricca |
| 2005 | Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. | Wolfgang Faber |
426–450 of 697← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations