Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Michael Fisher

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wiebe Hoek

    1. University of Liverpool, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Boris Konev

    1. University of Liverpool, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Alexei Lisitsa

    1. Department of Computer Science, The University of Liverpool,  

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

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

Included in the following conference series:

Conference proceedings info: JELIA 2006.

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 (49 papers)

  1. Front Matter

    Download chapter PDF

  3. 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
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation