1 option
Logic Programming and Nonmonotonic Reasoning : 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings / edited by Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez.
Springer Nature - Springer Computer Science (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Series:
- Lecture Notes in Artificial Intelligence, 2945-9141 ; 15245
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Computer programming.
- Compilers (Computer programs).
- Information technology--Management.
- Information technology.
- Artificial Intelligence.
- Programming Techniques.
- Compilers and Interpreters.
- Computer Application in Administrative Data Processing.
- Local Subjects:
- Artificial Intelligence.
- Programming Techniques.
- Compilers and Interpreters.
- Computer Application in Administrative Data Processing.
- Physical Description:
- 1 online resource (424 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
- Summary:
- This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems. .
- Contents:
- Deductive Systems for Logic Programs with Counting: Preliminary Report.
- Compiling Metric Temporal Answer Set Programming.
- A Sequent Calculus for Generalized Inductive Definitions.
- tExplain: Information Extraction with Explanations.
- ASP-based Large Neighborhood Prioritized Search for Course Timetabling.
- Towards Industrial-scale Product Configuration.
- An ILASP-Based Approach to Repair Petri Nets.
- Abstract Dialectical Frameworks are Boolean Networks.
- Using Learning from Answer Sets for robust question answering with LLM.
- Multi-paradigm Logic Programming in the ErgoAI System.
- An ASP-based approach to water distribution system reconstruction. .-Consequence Operators of Characterization Logics – The Case of Abstract Argumentation.
- Efficiently grounding FOL using bit vectors.
- Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping.
- Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets.
- Towards Mass Spectrum Analysis with ASP.
- Monitoring and Scheduling of Semiconductor Failure Analysis Labs.
- Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation.
- On Forgetting in Assumption-Based Argumentation.
- Towards Explainable Weather Forecasting Through FastLAS.
- Semantic-based Arguments using Logic Programming Rewriting Systems. . -Modelling Dialogues in a Concurrent Language for Argumentation.
- A Fixpoint Characterisation of Temporal Equilibrium Logic.
- A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.
- A Multi-Agent Simulation for Supply Chains Contract Execution.
- Reasoning and Explanation Generation in Ad hoc Collaboration between Humans and Embodied AI.
- Policies, Penalties, and Autonomous Agents.
- LTLf2ASP: LTLf Bounded Satisfiability in ASP.
- Integrating Structured Declarative Language (SDL) into ASP Chef.
- A Generalisation of Epistemic Splitting Property.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3-031-74209-5
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.