Logics in Artificial Intelligence : 19th European Conference, Jelia 2025, Kutaisi, Georgia, September 1?4, 2025, Proceedings
Casini, Giovanni (EDT); Dundua, Besik (EDT); Kutsia, Temur (EDT)
ISBN 10: 303204586X ISBN 13: 9783032045867
Editorial: Springer, 2025
Nuevos
Encuadernación de tapa blanda
Librería:
GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 6 de abril de 2009
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
N° de ref. del artículo 51257988-n
Sinopsis:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Logics in Artificial Intelligence : 19th ...
Editorial: Springer
Año de publicación: 2025
Encuadernación: Encuadernación de tapa blanda
Condición: New