Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10021)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): JELIA: European Conference on Logics in Artificial Intelligence
Conference proceedings info: JELIA 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (42 papers)
-
Front Matter
-
Full Papers
-
Front Matter
-
About this book
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.
Keywords
- Argumentation
- complexity
- decidability
- logic
- probabilistic reasoning
- answer set programming
- artificial intelligence
- belief revision
- description logics
- epistemic logic
- handling inconsistencies
- modal logic
- planning
- preferential semantics
- probabilistic logic programming
- SAT
- statistical-relational learning
- temporal logics
- transaction logic
- XPath
Editors and Affiliations
-
Open University of Cyprus, Nicosia, Cyprus
Loizos Michael
-
University of Cyprus, Nicosia, Cyprus
Antonis Kakas
Bibliographic Information
Book Title: Logics in Artificial Intelligence
Book Subtitle: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Editors: Loizos Michael, Antonis Kakas
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-48758-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-48757-1Published: 01 November 2016
eBook ISBN: 978-3-319-48758-8Published: 02 November 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 586
Number of Illustrations: 70 b/w illustrations
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Information Systems Applications (incl. Internet), Database Management