Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2000

Logics in Artificial Intelligence

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

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)

Sections

Buy it now

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (27 papers)

  1. Front Matter

    Pages I-XI
    PDF

  2. Invited Talks

    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
      3. An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
        • Antonio Frias Delgado, Jose Antonio Jimenez Millan
        Pages 87-101

    2. Reasoning about Actions

    3. Belief Revision

      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

      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

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation