Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Wolfgang Faber

    1. University of Klagenfurt, Klagenfurt, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerhard Friedrich

    1. University of Klagenfurt, Klagenfurt, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Martin Gebser

    1. University of Klagenfurt, Klagenfurt, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Morak

    1. University of Klagenfurt, Klagenfurt, Austria

    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 12678)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: JELIA 2021.

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 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.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 (30 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Argumentation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Graph-Classes of Argumentation Frameworks with Collective Attacks

      • Wolfgang Dvořák, Matthias König, Stefan Woltran
      Pages 3-17

    3. Introducing a Tool for Concurrent Argumentation

      • Stefano Bistarelli, Carlo Taticchi
      Pages 18-24

    4. Probabilistic Argumentation: An Approach Based on Conditional Probability –A Preliminary Report–

      • Pilar Dellunde, Lluís Godo, Amanda Vidal
      Pages 25-32

  3. Belief Revision

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Conditional Descriptor Revision and Its Modelling by a CSP

      • Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
      Pages 35-49

    3. Trust Is All You Need: From Belief Revision to Information Revision

      • Ammar Yasser, Haythem O. Ismail
      Pages 50-65

  4. Reasoning about Actions, Causality, and Change

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. Computing Defeasible Meta-logic

      • Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar
      Pages 69-84

    3. Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies

      • Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
      Pages 85-100

    4. An Epistemic Logic for Multi-agent Systems with Budget and Costs

      • Stefania Costantini, Andrea Formisano, Valentina Pitoni
      Pages 101-115

    5. Epistemic Reasoning About Rationality and Bids in Auctions

      • Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
      Pages 116-130

  5. Constraint Satisfaction

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Tractable Combinations of Theories via Sampling

      • Manuel Bodirsky, Johannes Greiner
      Pages 133-146

    3. Analyzing Unit Read-Once Refutations in Difference Constraint Systems

      • K. Subramani, Piotr Wojciechowski
      Pages 147-161

    4. Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques

      • Fabio Gadducci, Francesco Santini
      Pages 162-176

  6. Description Logics and Ontological Reasoning

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment

      • Bartosz Bednarczyk
      Pages 179-193

    3. An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics

      • Franz Baader, Jakub Rydval
      Pages 194-209
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

About this book

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Editors and Affiliations

  • University of Klagenfurt, Klagenfurt, Austria

    Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation