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 |
|---|---|---|
| 2024 | Policies, Penalties, and Autonomous Agents. | Vineel S. K. Tummala, Daniela Inclezan |
| 2024 | A Simulation for Supply Chains Contract Execution. | Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini |
| 2024 | Multi-paradigm Logic Programming in the | Theresa Swift, Michael Kifer |
| 2024 | ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | A Generalisation of Epistemic Splitting Property. | Ezgi Iraz Su |
| 2024 | A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. | Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts |
| 2024 | Monitoring and Scheduling of Semiconductor Failure Analysis Labs. | Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin |
| 2024 | Efficiently Grounding FOL Using Bit Vectors. | Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2024 | Towards Mass Spectrum Analysis with ASP. | Nils Kchenmeister, Alex Ivliev, Markus Krtzsch |
| 2024 | Using Learning from Answer Sets for Robust Question Answering with LLM. | Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo |
| 2024 | An ASP-Based Approach to Water Distribution System Reconstruction. | Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca |
| 2024 | Abstract Dialectical Frameworks are Boolean Networks. | Jesse Heyninck, Matthias Knorr, Joo Leite |
| 2024 | Semantic-Based Arguments Using Logic Programming Rewriting Systems. | Esteban Guerrero, Juan Carlos Nieves |
| 2024 | LTLf2ASP: LTLf Bounded Satisfiability in ASP. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | Deductive Systems for Logic Programs with Counting: Preliminary Report. | Jorge Fandinno, Vladimir Lifschitz |
| 2024 | A Sequent Calculus for Generalized Inductive Definitions. | Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker |
| 2024 | Towards Explainable Weather Forecasting Through FastLAS. | Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait |
| 2024 | Reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI. | Hasra Dodampegama, Mohan Sridharan |
| 2024 | An ILASP-Based Approach to Repair Petri Nets. | Francesco Chiariello, Antonio Ielo, Alice Tarzariol |
| 2024 | A Fixpoint Characterisation of Temporal Equilibrium Logic. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan |
| 2024 | tExplain: Information Extraction with Explanations. | Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muiz, Joel Sare |
| 2024 | Modelling Dialogues in a Concurrent Language for Argumentation. | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2024 | On Forgetting in Assumption-Based Argumentation. | Matti Berthold, Markus Ulbricht |
| 2024 | Compiling Metric Temporal Answer Set Programming. | Arvid Becker, Pedro Cabalar, Martn Diguez, Susana Hahn, Javier Romero, Torsten Schaub |
| 2024 | Towards Industrial-Scale Product Configuration. | Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshfer, Nicolas Rhling, Torsten Schaub, Philipp Wanko |
1–25 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