KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
Band 15245

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

Aus der Reihe Lecture Notes in Computer Science

136,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.10.2024

Abbildungen

XVII, 394 p. 62 illus., 39 illus. in color.

Herausgeber

Carmine Dodaro + weitere

Verlag

Springer

Seitenzahl

394

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Sprache

Englisch

ISBN

978-3-031-74208-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.10.2024

Abbildungen

XVII, 394 p. 62 illus., 39 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

394

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Sprache

Englisch

ISBN

978-3-031-74208-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning

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