Skip to main content
SpringerLink
Log in
Book cover

Logics in Artificial Intelligence

12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Tomi Janhunen

    1. Department of Information and Computer Science, Aalto University, Aalto, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ilkka Niemelä

    1. Department of Information and Computer Science, Aalto University, Aalto, Finland

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

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

Included in the following conference series:

Conference proceedings info: JELIA 2010.

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

  1. Front Matter

    Download chapter PDF

  3. Regular Papers

    1. Similarity-Based Inconsistency-Tolerant Logics

      • Ofer Arieli, Anna Zamansky
      Pages 11-23

    2. Decomposition of Distributed Nonmonotonic Multi-Context Systems

      • Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 24-37

    3. Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases

      • Salem Benferhat, Sylvain Lagrue, Safa Yahi
      Pages 38-50

    4. A Decidable Constructive Description Logic

      • Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
      Pages 51-63

    5. A Normal Form for Linear Temporal Equilibrium Logic

      • Pedro Cabalar
      Pages 64-76

    6. Rational Closure for Defeasible Description Logics

      • Giovanni Casini, Umberto Straccia
      Pages 77-90

    7. Extensional Higher-Order Logic Programming

      • Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
      Pages 91-103

    8. dl2asp: Implementing Default Logic via Answer Set Programming

      • Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
      Pages 104-116

    9. Sets of Boolean Connectives That Make Argumentation Easier

      • Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran
      Pages 117-129

    10. Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

      • Flávio Cruz, Ricardo Rocha
      Pages 130-142

    11. Preference-Based Inconsistency Assessment in Multi-Context Systems

      • Thomas Eiter, Michael Fink, Antonius Weinzierl
      Pages 143-155

    12. A Logical Semantics for Description Logic Programs

      • Michael Fink, David Pearce
      Pages 156-168

    13. An Incremental Answer Set Programming Based System for Finite ModelComputation

      • Martin Gebser, Orkunt Sabuncu, Torsten Schaub
      Pages 169-181

    14. Parametrized Logic Programming

      • Ricardo Gonçalves, José Júlio Alferes
      Pages 182-194

    15. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

      • Mikoláš Janota, Radu Grigore, Joao Marques-Silva
      Pages 195-207

    16. \({\mathcal{ALC}_\mathcal{ALC}}\): A Context Description Logic

      • Szymon Klarman, Víctor Gutiérrez-Basulto
      Pages 208-220
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

Editors and Affiliations

  • Department of Information and Computer Science, Aalto University, Aalto, Finland

    Tomi Janhunen, Ilkka Niemelä

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation