Skip to main content
SpringerLink
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Jóse Júlio Alferes

    1. CENTRIA, Universidade Nova de Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. João Leite

    1. Departamento de Informática, Universidade Nova de Lisboa, 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 3229)

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

Included in the following conference series:

Conference proceedings info: JELIA 2004.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (70 papers)

  1. Systems Session

    1. New DLV Features for Data Integration

      • Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri et al.
      Pages 698-701

    2. Profiling Answer Set Programming: The Visualization Component of the noMoRe System

      • Andreas Bösel, Thomas Linke, Torsten Schaub
      Pages 702-705

    3. The PLP System

      • Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
      Pages 706-709

    4. The MyYapDB Deductive Database System

      • Michel Ferreira, Ricardo Rocha
      Pages 710-713

    5. InterProlog: Towards a Declarative Embedding of Logic Programming in Java

      • Miguel Calejo
      Pages 714-717

    6. IndLog — Induction in Logic

      • Rui Camacho
      Pages 718-721

    7. OLEX – A Reasoning-Based Text Classifier

      • Chiara Cumbo, Salvatore Iiritano, Pasquale Rullo
      Pages 722-725

    8. Verdi: An Automated Tool for Web Sites Verification

      • M. Alpuente, D. Ballis, M. Falaschi
      Pages 726-729

    9. SATMC: A SAT-Based Model Checker for Security Protocols

      • Alessandro Armando, Luca Compagna
      Pages 730-733

    10. tabeql : A Tableau Based Suite for Equilibrium Logic

      • Agustín Valverde
      Pages 734-737

    11. tascpl : TAS Solver for Classical Propositional Logic

      • M. Ojeda-Aciego, A. Valverde
      Pages 738-741

  2. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

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

  • Book Title: Logics in Artificial Intelligence

  • Book Subtitle: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

  • Editors: Jóse Júlio Alferes, João Leite

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-23242-1Published: 24 September 2004

  • eBook ISBN: 978-3-540-30227-8Published: 10 September 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 746

  • Topics: Artificial Intelligence, Programming Techniques, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation