Skip to main content
SpringerLink
Log in
Book cover

Logics in Artificial Intelligence

European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Manuel Ojeda-Aciego

    1. Department of Applied Mathematics, E.T.S.I. Informática, University of Málaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Inma P. Guzmán

    1. Department of Applied Mathematics, E.T.S.I. Informática, University of Málaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gerhard Brewka

    1. Intelligent Systems Department, Computer Science Institute, University of Leipzig, Leipzig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Luís Pereira

    1. Center for Artificial Intelligence, Department of Computer Science, University of Lisbon, Caparica, Portugal

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

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

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

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talks

    1. ‘On Being Informed’: Update Logics for Knowledge States

      • Johan van Benthem
      Pages 1-1

    2. Considerations on Updates of Logic Programs

      • Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
      Pages 2-20

    3. The Approach: Integrating Object Oriented Design and Formal Verification

      • Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle et al.
      Pages 21-36

    4. Semi-qualitative Reasoning about Distances: A Preliminary Report

      • Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
      Pages 37-56

  3. Regular Contributions

    1. Knowledge Representation

      1. Hybrid Probabilistic Logic Programs as Residuated Logic Programs
        • Carlos Viegas Damásio, Luís Moniz Pereira
        Pages 57-72
      2. Topo-distance: Measuring the Difference between Spatial Patterns
        • Marco Aiello
        Pages 73-86
      3. An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
        • Antonio Frias Delgado, Jose Antonio Jimenez Millan
        Pages 87-101
      4. Capturing Stationary and Regular Extensions with Reiter’s Extensions
        • Tomi Janhunen
        Pages 102-117

    2. Reasoning about Actions

      1. Representing the Process Semantics in the Event Calculus
        • Chunping Li
        Pages 118-132
      2. Declarative Formalization of Strategies for Action Selection: Applications to Planning
        • Josefina Sierra-Santibáñez
        Pages 133-147

    3. Belief Revision

      1. An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
        • Ofer Arieli
        Pages 148-162
      2. Acceptance Without Minimality
        • Abhaya C. Nayak
        Pages 163-178

    4. Theorem Proving

      1. Reduction Theorems for Boolean Formulas Using Δ-Trees
        • Gloria Gutiérrez, Inma P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
        Pages 179-192
      2. Simultaneous Rigid Sorted Unification
        • Pedro J. Martín, Antonio Gavilanes
        Pages 193-208
      3. Partially Adaptive Code Trees
        • Alexandre Riazanov, Andrei Voronkov
        Pages 209-223

    5. Argumentation

      1. On Dialogue Systems with Speech Acts, Arguments, and Counterarguments
        • Henry Prakken
        Pages 224-238
      2. Credulous and Sceptical Argument Games for Preferred Semantics
        • Gerard A. W. Vreeswik, Henry Prakken
        Pages 239-253

    6. Agents

      1. A General Approach to Multi-agent Minimal Knowledge
        • Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
        Pages 254-268
      2. A Modal Logic for Network Topologies
        • Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
        Pages 269-283
Back to top

Keywords

Editors and Affiliations

  • Department of Applied Mathematics, E.T.S.I. Informática, University of Málaga, Málaga, Spain

    Manuel Ojeda-Aciego, Inma P. Guzmán

  • Intelligent Systems Department, Computer Science Institute, University of Leipzig, Leipzig, Germany

    Gerhard Brewka

  • Center for Artificial Intelligence, Department of Computer Science, University of Lisbon, Caparica, Portugal

    Luís Pereira

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation