Logics In Artificial Intelligence - ENG
19th European Conference, Jelia 2025, Kutaisi, Georgia, September 1?4, 2025, Proceedings, Part Ii
| ISBN: | 9783032045904 |
|---|---|
| Formato: | ePub |
| Idioma: | Inglés |
| Editorial: | Springer Nature |
| Tema: | Computadoras |
| Subtema: | Inteligencia artificial y semántica |
| Año de publicación: | 2025-09-01 |
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.










Este sitio web utiliza cookies para mejorar la experiencia del usuario y asegurar su funcionamiento con eficacia.
Al utilizarlo usted acepta el uso de cookies.