Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11468)
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 2019.
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 (52 papers)
-
Front Matter
-
Belief Revision and Argumentation
-
Front Matter
-
-
Causal, Defeasible and Inductive Reasoning
-
Front Matter
-
About this book
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.
Keywords
- argumentation
- artificial intelligence
- belief revision
- causal reasoning
- conditional logic
- default logic
- defeasible reasoning
- description logics
- inductive reasoning
- knowledge representation and reasoning
- logic
- logic programming
- modal logic
- probabilistic logic
- propositional logic
- temporal logic
- semantics
- programming languages
- knowledge-based systems
- formal logic
Editors and Affiliations
-
University of Calabria, Rende, Italy
Francesco Calimeri, Nicola Leone
-
Mathematics and Computer Science, University of Calabria, Rende, Italy
Marco Manna
Bibliographic Information
Book Title: Logics in Artificial Intelligence
Book Subtitle: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Editors: Francesco Calimeri, Nicola Leone, Marco Manna
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-19570-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-19569-4Published: 07 May 2019
eBook ISBN: 978-3-030-19570-0Published: 06 May 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 822
Number of Illustrations: 1617 b/w illustrations, 29 illustrations in colour
Topics: Artificial Intelligence, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computer Appl. in Administrative Data Processing, Programming Languages, Compilers, Interpreters, Programming Techniques