Advertisement

© 2019

Logics in Artificial Intelligence

16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

  • Francesco Calimeri
  • Nicola Leone
  • Marco Manna
Conference proceedings JELIA 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11468)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 11468)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Georg Gottlob, Andreas Pieris, Emanuel Sallinger
      Pages 21-37
  3. Belief Revision and Argumentation

    1. Front Matter
      Pages 39-39
    2. Stefano Bistarelli, Theofrastos Mantadelis
      Pages 58-68
    3. Stefano Bistarelli, Francesco Santini
      Pages 69-84
    4. Gerhard Brewka, Jörg Pührer, Stefan Woltran
      Pages 85-101
    5. Marcos Cramer, Mathieu Guillaume
      Pages 102-115
    6. Wolfgang Dvořák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
      Pages 116-132
    7. Adrian Haret, Johannes P. Wallner
      Pages 133-150
    8. Markus Ulbricht
      Pages 151-167
  4. Causal, Defeasible and Inductive Reasoning

    1. Front Matter
      Pages 169-169
    2. María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
      Pages 171-181
    3. Giovanni Casini, Thomas Meyer, Ivan Varzinczak
      Pages 182-197
    4. Rolf Morel, Andrew Cropper, C.-H. Luke Ong
      Pages 198-213
    5. Marc Denecker, Bart Bogaerts, Joost Vennekens
      Pages 214-230
    6. Emily LeBlanc, Marcello Balduccini, Joost Vennekens
      Pages 231-246
    7. Francesco Olivieri, Guido Governatori, Matteo Cristani
      Pages 247-258

About these proceedings

Introduction

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

  1. 1.University of CalabriaRendeItaly
  2. 2.University of CalabriaRendeItaly
  3. 3.Mathematics and Computer ScienceUniversity of CalabriaRendeItaly

Bibliographic information