Table of contents

  1. Front Matter
  2. Miguel Filgueiras, Ana Paula Tomás
    Pages 1-16
  3. Francisco Menezes, Pedro Barahona
    Pages 17-29
  4. Ana Paula Tomás, Miguel Filgueiras
    Pages 30-44
  5. Margarida Mamede, Luís Monteiro
    Pages 60-75
  6. José António Mendes, Pedro Rangel Henriques
    Pages 76-91
  7. Peter C. Nelson, Anestis A. Toptsis
    Pages 92-104
  8. Luís Moniz Pereira, José J. Alferes, Joaquim N. Aparício
    Pages 105-119
  9. Deepak Kumar, Stuart C. Shapiro
    Pages 120-134
  10. Amílcar Cardoso, Ernesto Costa
    Pages 151-164
  11. Cristina Ribeiro, António Porto
    Pages 180-194
  12. Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga
    Pages 195-209
  13. Carlos Ramos, Eugénio Oliveira
    Pages 210-221
  14. Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl
    Pages 222-236
  15. Miguel Calejo, Luís Moniz Pereira
    Pages 237-249
  16. Lothar Winkelbauer, Christian Stary
    Pages 278-292
  17. Back Matter

About these proceedings


The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.


Automated Deduction Automated Theorem Proving Automatisches Beweisen Automatisches Schließen Fuzzy Knowledge Representation Learning Lernstrategien Problem Solving Wissensdarstellung artificial intelligence classification intelligence modeling semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54535-4
  • Online ISBN 978-3-540-38459-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site