Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2010

Access provided by Autonomous University of Puebla

Download book PDF

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.

Buy print copy

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

Keywords

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
      Download chapter PDF

    2. Decomposition of Distributed Nonmonotonic Multi-Context Systems

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

    3. Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases

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

    4. A Decidable Constructive Description Logic

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

    5. A Normal Form for Linear Temporal Equilibrium Logic

      • Pedro Cabalar
      Pages 64-76
      Download chapter PDF

    6. Rational Closure for Defeasible Description Logics

      • Giovanni Casini, Umberto Straccia
      Pages 77-90
      Download chapter PDF

    7. Extensional Higher-Order Logic Programming

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

    8. dl2asp: Implementing Default Logic via Answer Set Programming

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

    9. Sets of Boolean Connectives That Make Argumentation Easier

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

    10. Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

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

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

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

    12. A Logical Semantics for Description Logic Programs

      • Michael Fink, David Pearce
      Pages 156-168
      Download chapter PDF

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

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

    14. Parametrized Logic Programming

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

    15. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

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

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

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

Other volumes

  1. Logics in Artificial Intelligence

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