Imatge de la portada

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /

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...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: SpringerLink (Online service)
Altres autors: Dodaro, Carmine (Editor), Gupta, Gopal (Editor), Martinez, Maria Vanina (Editor)
Format: Electrònic eBook
Idioma:anglès
Publicat: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edició:1st ed. 2025.
Col·lecció:Lecture Notes in Artificial Intelligence, 15245
Matèries:
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Information technology > Management.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Computer Application in Administrative Data Processing.
Accés en línia:https://doi.org/10.1007/978-3-031-74209-5
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Taula de continguts:
  • -- 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.

Ítems similars