Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / Loizos Michael, Antonis Kakas (eds.).
2016
Q334
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / Loizos Michael, Antonis Kakas (eds.).
Meeting Name
ISBN
9783319487588 (electronic book)
3319487582 (electronic book)
9783319487571
3319487582 (electronic book)
9783319487571
Published
Cham : Springer, 2016.
Language
English
Description
1 online resource (xxii, 586 pages) : illustrations.
Item Number
10.1007/978-3-319-48758-8 doi
Call Number
Q334
Dewey Decimal Classification
006.3
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Added Author
Series
Lecture notes in computer science. Lecture notes in artificial intelligence ; 10021.
LNCS sublibrary. SL 7, Artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form
Print version: 9783319487571
Linked Resources
Record Appears in
Table of Contents
Belief revision
Answer set programming
Argumentation
Probabilistic reasoning
Handling inconsistencies
Temporal logics and planning
Description logics
Decidability and complexity results.
Answer set programming
Argumentation
Probabilistic reasoning
Handling inconsistencies
Temporal logics and planning
Description logics
Decidability and complexity results.