Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Francesco Calimeri

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nicola Leone

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marco Manna

    1. Mathematics and Computer Science, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: JELIA 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (52 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics – A Prospective Survey

      • Didier Dubois, Henri Prade
      Pages 3-20

    3. Vadalog: Recent Advances and Applications

      • Georg Gottlob, Andreas Pieris, Emanuel Sallinger
      Pages 21-37

  3. Belief Revision and Argumentation

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. AGM Meets Abstract Argumentation: Contraction for Dung Frameworks

      • Ringo Baumann, Felix Linker
      Pages 41-57

    3. A Possible World View and a Normal Form for the Constellation Semantics

      • Stefano Bistarelli, Theofrastos Mantadelis
      Pages 58-68

    4. Well-Foundedness in Weighted Argumentation Frameworks

      • Stefano Bistarelli, Francesco Santini
      Pages 69-84

    5. Multi-valued GRAPPA

      • Gerhard Brewka, Jörg Pührer, Stefan Woltran
      Pages 85-101

    6. Empirical Study on Human Evaluation of Complex Argumentation Frameworks

      • Marcos Cramer, Mathieu Guillaume
      Pages 102-115

    7. Preprocessing Argumentation Frameworks via Replacement Patterns

      • Wolfgang Dvořák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
      Pages 116-132

    8. Manipulating Skeptical and Credulous Consequences When Merging Beliefs

      • Adrian Haret, Johannes P. Wallner
      Pages 133-150

    9. Repairing Non-monotonic Knowledge Bases

      • Markus Ulbricht
      Pages 151-167

  4. Causal, Defeasible and Inductive Reasoning

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. \({\textsf {ACUOS}}^\mathbf {2}\): A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

      • María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
      Pages 171-181

    3. Taking Defeasible Entailment Beyond Rational Closure

      • Giovanni Casini, Thomas Meyer, Ivan Varzinczak
      Pages 182-197

    4. Typed Meta-interpretive Learning of Logic Programs

      • Rolf Morel, Andrew Cropper, C.-H. Luke Ong
      Pages 198-213

    5. Explaining Actual Causation in Terms of Possible Causal Processes

      • Marc Denecker, Bart Bogaerts, Joost Vennekens
      Pages 214-230

    6. Explaining Actual Causation via Reasoning About Actions and Change

      • Emily LeBlanc, Marcello Balduccini, Joost Vennekens
      Pages 231-246

    7. Advancements in Resource-Driven Substructural Defeasible Logic

      • Francesco Olivieri, Guido Governatori, Matteo Cristani
      Pages 247-258
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation