TY  - BOOK
AU  - Michael,Loizos
AU  - Kakas,Antonis
ED  - SpringerLink (Online service)
TI  - Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings 
T2  - Lecture Notes in Artificial Intelligence
SN  - 9783319487588
AV  - Q334-342 
U1  - 006.3 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Artificial intelligence
KW  - Mathematical logic
KW  - Computer logic
KW  - Software engineering
KW  - Application software
KW  - Database management
KW  - Artificial Intelligence
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Information Systems Applications (incl. Internet)
KW  - Database Management
N1  - Belief revision -- Answer set programming -- Argumentation -- Probabilistic reasoning -- Handling inconsistencies -- Temporal logics and planning -- Description logics -- Decidability and complexity results
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-48758-8
ER  -