Logics in Artificial Intelligence

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Loizos Michael, Antonis Kakas (Herausgeber)

Buch | Softcover

XXII, 586 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-48757-1 (ISBN)

Artikel merken

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Belief revision.- Answer set programming.- Argumentation.- Probabilistic reasoning.- Handling inconsistencies.- Temporal logics and planning.- Description logics.- Decidability and complexity results.

Erscheinungsdatum	26.11.2016
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXII, 586 p. 70 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	answer set programming • Applications • Argumentation • Artificial Intelligence • artificial intelligence (incl. robotics) • Belief Revision • Complexity • Computer Science • conference proceedings • Decidability • Description Logics • epistemic logic • handling inconsistencies • Informatics • Logic • Modal Logic • Planning • preferential semantics • probabilistic logic programming • Probabilistic Reasoning • Research • Robotics • SAT • statistical-relational learning • Temporal Logics • Transaction logic • XPath
ISBN-10	3-319-48757-4 / 3319487574
ISBN-13	978-3-319-48757-1 / 9783319487571
Zustand	Neuware