Progress in Artificial Intelligence

9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

  • Pedro Barahona
  • José J. Alferes
Conference proceedings EPIA 1999

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1695)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Lectures

    1. P. Van Hentenryck, L. Michel, P. Laborie, W. Nuijten, J. Rogerie
      Pages 1-15
  3. Constraint Programming

    1. Deborah East, Mirosław Truszczyński
      Pages 49-61
    2. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
      Pages 75-89
    3. Aida Vitória, Margarida Mamede
      Pages 90-98
  4. Natural Language Processing

    1. Kees van Deemter, Richard Power
      Pages 99-112
    2. Joaquim Ferreira da Silva, Gaël Dias, Sylvie Guilloré, José Gabriel Pereira Lopes
      Pages 113-132
  5. Spatial Reasoning

    1. Vincent Dugat, Pierre Gambarotto, Yannick Larvor
      Pages 148-162
  6. Logic Programming

    1. Ricardo Rocha, Fernando Silva, Vítor Santos Costa
      Pages 178-192
  7. Theorem Proving

    1. I. P. de Guzmán, P. Cordero, M. Enciso
      Pages 193-207
    2. Christoph Benzmüller, Volker Sorge
      Pages 208-221
  8. Reasoning Under Uncertainty

    1. Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
      Pages 222-236
    2. António Abreu, Luís Correia
      Pages 237-251
  9. Multi-agent Systems

    1. Henrique Lopes Cardoso, Max Schaefer, Eugénio Oliveira
      Pages 252-266
    2. José Castro Caldas, Helder Coelho
      Pages 267-281
    3. Paolo Di Giusto, Guido Governatori
      Pages 282-296
    4. Luis Antunes, Helder Coelho
      Pages 297-311
  10. Abduction and Revision

    1. Elpida T. Keravnou, John Washbrook
      Pages 312-326
    2. Paolo Di Giusto, Guido Governatori
      Pages 327-341
    3. Miguel Ferrand, João Alexandre Leite, Amilcar Cardoso
      Pages 342-356
  11. Genetic Algorithms

    1. Sami Khuri, Sowmya Rao Miryala
      Pages 357-368
    2. Luís Correia, Fernando Moura-Pires, Joaquim N. Aparício
      Pages 369-383
  12. Back Matter
    Pages 385-385

About these proceedings


The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer’s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work.


AI Logics Agent Technology Artificial Intelligence Fuzzy Logic Programming Natural Language Processing Prolog cognition genetic algorithms intelligence interactive theorem proving knowledge base multi-agent system optimization proving

Editors and affiliations

  • Pedro Barahona
    • 1
  • José J. Alferes
    • 2
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.Departamento de MatemáticaUniversidade de ÉvoraÉvoraPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66548-9
  • Online ISBN 978-3-540-48159-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences