Table of contents

  1. Front Matter
  2. Matthias Fuchs
    Pages 13-24
  3. Paulo Gomes, Carlos Bento
    Pages 37-48
  4. Yury Smirnov, Manuela M. Veloso
    Pages 85-96
  5. Pedro Soares, Nuno J. Mamede
    Pages 97-110
  6. Lu Ruqian, Han Ke, Ma Yinghao, Zhang Wenyan, Wang Wenbiao
    Pages 111-118
  7. Christophe Choquet, Pierre Tchounikine, Francky Trichet
    Pages 119-129
  8. Daniel Pacholczyk
    Pages 131-142
  9. H. Sofia Pinto
    Pages 143-154
  10. Guilherme Bittencourt, Isabel Tonin
    Pages 167-178
  11. Michael da Costa Móra, Gabriel Pereira Lopes, Helder Coelho, Rosa M. Viccari
    Pages 179-194
  12. Jose Manuel Fonseca, Eugénio de Oliveira, Adolfo Steiger-Garção
    Pages 195-206
  13. A. C. P. L. da Costa, G. Bittencourt
    Pages 207-215
  14. Michael Schroeder, Iara Móra, José Julio Alferes
    Pages 217-228

About these proceedings


This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.
The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving.


Navigation Simulation agents artificial intelligence automated deduction automated reasoning case-based reasoning heuristics knowledge knowledge representation learning machine learning multi-agent systems neural network nonmonotonic reasoning

Bibliographic information

  • Book Title Progress in Artificial Intelligence
  • Book Subtitle 8th Portuguese Conference on Artificial Intelligence, EPIA-97 Coimbra, Portugal, October 6–9, 1997 Proceedings
  • Editors Ernesto Costa
    Amilcar Cardoso
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-63586-4
  • eBook ISBN 978-3-540-69605-6
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XIV, 402
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences