Skip to main content
  • Conference proceedings
  • © 2006

Logics in Artificial Intelligence

10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4160)

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 2006.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (49 papers)

  1. Front Matter

  2. Technical Papers

    1. On Arbitrary Selection Strategies for Basic Superposition

      • Vladimir Aleksic, Anatoli Degtyarev
      Pages 20-28
    2. An Event-Condition-Action Logic Programming Language

      • J. J. Alferes, F. Banti, A. Brogi
      Pages 29-42
    3. Distance-Based Repairs of Databases

      • Ofer Arieli, Marc Denecker, Maurice Bruynooghe
      Pages 43-55
    4. Natural Deduction Calculus for Linear-Time Temporal Logic

      • Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin
      Pages 56-68
    5. A STIT-Extension of ATL

      • Jan Broersen, Andreas Herzig, Nicolas Troquard
      Pages 69-81
    6. On the Logic and Computation of Partial Equilibrium Models

      • Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde
      Pages 82-94
    7. Decidable Fragments of Logic Programming with Value Invention

      • Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
      Pages 95-110
    8. On the Issue of Reinstatement in Argumentation

      • Martin Caminada
      Pages 111-123
    9. Comparing Action Descriptions Based on Semantic Preferences

      • Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
      Pages 124-137
    10. Modal Logics of Negotiation and Preference

      • Ulle Endriss, Eric Pacuit
      Pages 138-150
    11. Representing Action Domains with Numeric-Valued Fluents

      • Esra Erdem, Alfredo Gabaldon
      Pages 151-163
    12. Model Representation over Finite and Infinite Signatures

      • Christian G. Fermüller, Reinhard Pichler
      Pages 164-176
    13. Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies

      • Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 177-189
    14. Analytic Tableau Calculi for KLM Rational Logic R

      • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 190-202
    15. On the Semantics of Logic Programs with Preferences

      • Sergio Greco, Irina Trubitsyna, Ester Zumpano
      Pages 203-215
    16. A Modularity Approach for a Fragment of \(\mathcal{ALC}\)

      • Andreas Herzig, Ivan Varzinczak
      Pages 216-228

Other Volumes

  1. Logics in Artificial Intelligence

Keywords

  • Artificial intelligence
  • Automat
  • automated reasoning
  • description logics
  • intelligence
  • learning
  • logic
  • machine learning
  • nonmonotonic reasoning
  • programming

Editors and Affiliations

  • Department of Computer Science, University of Liverpool, Liverpool, U.K.

    Michael Fisher

  • University of Liverpool, United Kingdom

    Wiebe Hoek

  • University of Liverpool, Liverpool, UK

    Boris Konev

  • Department of Computer Science, The University of Liverpool,  

    Alexei Lisitsa

Bibliographic Information

  • Book Title: Logics in Artificial Intelligence

  • Book Subtitle: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

  • Editors: Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/11853886

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2006

  • Softcover ISBN: 978-3-540-39625-3Published: 13 September 2006

  • eBook ISBN: 978-3-540-39627-7Published: 14 September 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 520

  • Topics: Artificial Intelligence, Programming Techniques, Formal Languages and Automata Theory

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions