Cover Image
Read Now

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

Bibliographic Details
Other Authors: Michael, Loizos (Editor), Kakas, Antonis (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2016, 2016
Edition:1st ed. 2016
Series:Lecture Notes in Artificial Intelligence
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Artificial Intelligence
Formal Languages And Automata Theory
Database Management
Application Software
Machine Theory
Computer And Information Systems Applications
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02268nmm a2200409 u 4500
001 EB001272950
003 EBX01000000000000000887592
005 00000000000000.0
007 cr|||||||||||||||||||||
008 161202 ||| eng
020 |a 9783319487588 
100 1 |a Michael, Loizos  |e [editor] 
245 0 0 |a Logics in Artificial Intelligence  |h Elektronische Ressource  |b 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings  |c edited by Loizos Michael, Antonis Kakas 
250 |a 1st ed. 2016 
260 |a Cham  |b Springer International Publishing  |c 2016, 2016 
300 |a XXII, 586 p. 70 illus  |b online resource 
505 0 |a Belief revision -- Answer set programming -- Argumentation -- Probabilistic reasoning -- Handling inconsistencies -- Temporal logics and planning -- Description logics -- Decidability and complexity results 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Software engineering 
653 |a Computer science 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Formal Languages and Automata Theory 
653 |a Database Management 
653 |a Application software 
653 |a Machine theory 
653 |a Artificial intelligence 
653 |a Computer and Information Systems Applications 
653 |a Database management 
700 1 |a Kakas, Antonis  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/978-3-319-48758-8 
856 4 0 |u https://doi.org/10.1007/978-3-319-48758-8?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a 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 

Similar Items