Skip to main content
  • Conference proceedings
  • © 2010

Logics in Artificial Intelligence

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

Editors:

(view affiliations)

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)

Conference series link(s): JELIA: European Conference on Logics in Artificial Intelligence

Conference proceedings info: JELIA 2010.

Buying options

eBook
USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-15675-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout

This is a preview of subscription content, access via your institution.

Table of contents (34 papers)

  1. Front Matter

  2. 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. Rational Closure for Defeasible Description Logics

      • Giovanni Casini, Umberto Straccia
      Pages 77-90
    6. Extensional Higher-Order Logic Programming

      • Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
      Pages 91-103
    7. dl2asp: Implementing Default Logic via Answer Set Programming

      • Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
      Pages 104-116
    8. Sets of Boolean Connectives That Make Argumentation Easier

      • Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran
      Pages 117-129
    9. Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

      • Flávio Cruz, Ricardo Rocha
      Pages 130-142
    10. Preference-Based Inconsistency Assessment in Multi-Context Systems

      • Thomas Eiter, Michael Fink, Antonius Weinzierl
      Pages 143-155
    11. A Logical Semantics for Description Logic Programs

      • Michael Fink, David Pearce
      Pages 156-168
    12. An Incremental Answer Set Programming Based System for Finite ModelComputation

      • Martin Gebser, Orkunt Sabuncu, Torsten Schaub
      Pages 169-181
    13. Parametrized Logic Programming

      • Ricardo Gonçalves, José Júlio Alferes
      Pages 182-194
    14. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

      • Mikoláš Janota, Radu Grigore, Joao Marques-Silva
      Pages 195-207
    15. \({\mathcal{ALC}_\mathcal{ALC}}\): A Context Description Logic

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

Other Volumes

  1. Logics in Artificial Intelligence

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

Keywords

  • AI logic
  • Argumentation
  • Extension
  • algorithms
  • artificial intelligence
  • description logic
  • epistemic logic
  • hybrid logic
  • knowledge
  • knowledge base
  • logic programming
  • machine learning
  • modeling
  • programming
  • satisfiability checking

Editors and Affiliations

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

    Tomi Janhunen, Ilkka Niemelä

Bibliographic Information

Buying options

eBook
USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-15675-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout