Limit search to available items
Book Cover
E-book
Author JELIA (Conference) (15th : 2016 : Larnaca, Cyprus)

Title Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016 : proceedings / Loizos Michael, Antonis Kakas (eds.)
Published Cham, Switzerland : Springer, [2016]

Copies

Description 1 online resource (xxii, 586 pages) : illustrations
Series Lecture notes in artificial intelligence, 0302-9743 ; 10021
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence ; 10021
LNCS sublibrary. SL 7, Artificial intelligence.
Contents Belief revision -- Answer set programming -- Argumentation -- Probabilistic reasoning -- Handling inconsistencies -- Temporal logics and planning -- Description logics -- Decidability and complexity results
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
Notes Includes author index
Online resource; title from digital title page (viewed on July 11, 2019)
Subject Artificial intelligence -- Congresses
Logic, Symbolic and mathematical -- Congresses
Computer science.
Software engineering.
Computer logic.
Logic, Symbolic and mathematical.
Database management.
Electronic Data Processing
Mathematical theory of computation.
Computer programming -- software development.
Software Engineering.
Information retrieval.
Databases.
Artificial intelligence.
Mathematics -- Logic.
Computers -- Programming -- General.
Computers -- Software Development & Engineering -- General.
Computers -- Information Technology.
Computers -- Database Management -- General.
Computers -- Intelligence (AI) & Semantics.
Artificial intelligence
Computer logic
Computer science
Database management
Logic, Symbolic and mathematical
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Michael, Loizos, editor
Kakas, Antonis C., editor.
ISBN 9783319487588
3319487582
Other Titles JELIA 2016