Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

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 pap...

Full description

Saved in:
Bibliographic Details
Main Authors Michael, Loizos, Kakas, Antonis
Format eBook Book Conference Proceeding
LanguageEnglish
Published Cham Springer Nature 2016
Springer
Springer International Publishing AG
Springer International Publishing
Edition1
SeriesLecture Notes in Computer Science
Subjects
Artificial Intelligence
Artificial intelligence > Congresses
Computer Science
Database Management
Information Systems Applications (incl. Internet)
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical > Congresses
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Special computer methods
Online AccessGet full text
ISBN9783319487588
3319487582
3319487574
9783319487571
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-48758-8

Cover

More Information
Summary: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.
Bibliography:Includes bibliographical references and index
ISBN:9783319487588
3319487582
3319487574
9783319487571
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-48758-8