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 |
|---|---|---|
| 2017 | The Design of the Seventh Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2017 | Hybrid Metabolic Network Completion. | Clmence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
| 2017 | Backdoor Trees for Answer Set Programming. | Johannes Klaus Fichte, Stefan Szeider |
| 2017 | A Multiparametric View on Answer Set Programming. | Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran |
| 2017 | Answer Set Solving with Bounded Treewidth Revisited. | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
| 2017 | Nurse Scheduling via Answer Set Programming. | Carmine Dodaro, Marco Maratea |
| 2017 | plasp 3: Towards Effective ASP Planning. | Yannis Dimopoulos, Martin Gebser, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2017 | Foundations for a Probabilistic Event Calculus. | Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller |
| 2017 | Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. | Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann |
| 2017 | Self-Correcting Unsound Reasoning Agents. | Yannick Chevalier |
| 2017 | Gelfond-Zhang Aggregates as Propositional Formulas. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2017 | Multi-Context Systems: Dynamics and Evolution. | Pedro Cabalar, Stefania Costantini, Andrea Formisano |
| 2017 | Action Language Hybrid AL. | Alex Brik, Jeffrey B. Remmel |
| 2017 | lp2normal - A Normalization Tool for Extended Logic Programs. | Jori Bomanson |
| 2017 | A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. | Stefano Bistarelli, Francesco Santini |
| 2017 | Modular Construction of Minimal Models. | Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli |
| 2017 | Combining Inductive Generalization and Factual Abduction. | Mathieu Beirlaen |
| 2017 | catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. | Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2017 | Refining and Generalizing P-log - Preliminary Report. | Evgenii Balai, Michael Gelfond |
| 2017 | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2017 | Forgetting Auxiliary Atoms in Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2017 | Generalized Answer Set Planning with Incomplete Information. | Javier Romero, Torsten Schaub, Tran Cao Son |
| 2015 | Logic Programming with Graded Modality. | Zhizheng Zhang, Shutao Zhang |
| 2015 | Mobile Robot Planning Using Action Language | Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone |
| 2015 | ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. | Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz |
126–150 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