Bokus
Temur Kutsia, Besik Dundua, Giovanni Casini - Logics in Artificial Intelligence, E-bok

E-bok, Engelska, 2025

Logics in Artificial Intelligence

Av Temur Kutsia, Besik Dundua, Giovanni Casini

1007 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.
Produktinformation
  • Utgivningsdatum: 2025-09-02
  • Språk: Engelska
  • Filformat: EPUB
  • Kopieringsskydd: LCP
  • ISBN: 9783032045874
  • Förlag: Springer Nature Switzerland
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.