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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/BFb0023905
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63586-4
  • Online ISBN 978-3-540-69605-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book