Ny
bokomslag Logics in Artificial Intelligence
Data & IT

Logics in Artificial Intelligence

Giovanni Casini Besik Dundua Temur Kutsia

Pocket

1459:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 380 sidor
  • 2025
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.
  • Författare: Giovanni Casini, Besik Dundua, Temur Kutsia
  • Format: Pocket/Paperback
  • ISBN: 9783032045867
  • Språk: Engelska
  • Antal sidor: 380
  • Utgivningsdatum: 2025-09-03
  • Förlag: Springer Nature Switzerland AG