Skip to main content
  • Conference proceedings
  • © 2004

Logics in Artificial Intelligence

9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

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

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

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (70 papers)

  1. Reasoning Under Uncertainty

    1. A Logic with Conditional Probabilities

      • Miodrag Rašković, Zoran Ognjanović, Zoran Marković
      Pages 226-238
    2. Reasoning About Quantum Systems

      • P. Mateus, A. Sernadas
      Pages 239-251
    3. Sorted Multi-adjoint Logic Programs: Termination Results and Applications

      • C. V. Damásio, J. Medina, M. Ojeda-Aciego
      Pages 252-265
  2. Logic Programming

    1. The Modal Logic Programming System MProlog

      • Linh Anh Nguyen
      Pages 266-278
    2. Soundness and Completeness of an “Efficient” Negation for Prolog

      • Juan José Moreno-Navarro, Susana Muñoz-Hernández
      Pages 279-293
    3. Logic Programs with Functions and Default Values

      • Pedro Cabalar, David Lorenzo
      Pages 294-306
  3. Actions and Causation

    1. Parallel Encodings of Classical Planning as Satisfiability

      • Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
      Pages 307-319
    2. Relational Markov Games

      • Alberto Finzi, Thomas Lukasiewicz
      Pages 320-333
  4. Complexity Issues

    1. Representation and Complexity in Boolean Games

      • Paul E. Dunne, Wiebe van der Hoek
      Pages 347-359
    2. Complexity in Value-Based Argument Systems

      • Paul E. Dunne, Trevor Bench-Capon
      Pages 360-371
  5. Description Logics

    1. Computing the Least Common Subsumer w.r.t. a Background Terminology

      • Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
      Pages 400-412
    2. Explaining Subsumption by Optimal Interpolation

      • Stefan Schlobach
      Pages 413-425

Other Volumes

  1. Logics in Artificial Intelligence

Editors and Affiliations

  • CENTRIA, Universidade Nova de Lisboa, Portugal

    Jóse Júlio Alferes

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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