Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logics in Artificial Intelligence

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 182 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Celý názov: Logics in Artificial Intelligence
• Autor: Besik Dundua, Temur Kutsia
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 340
• EAN: 9783032045867
• ISBN: 303204586X
• ID: 49343154
• Nakladateľ: Springer-Verlag GmbH
• Hmotnosť: 566 g
• Dátum vydania: 11. October 2025

---

---

---