Table of contents

  1. Front Matter
  2. Klemens Schnattinger, Udo Hahn, Manfred Klenner
    Pages 1-16
  3. Riccardo Poli, Mark Ryan, Aaron Sloman
    Pages 17-28
  4. José Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Pages 41-56
  5. Truong Quoc Dung
    Pages 57-68
  6. Aida Vitória, Margarida Mamede, Luís Monteiro
    Pages 69-82
  7. Helder Coelho, Augusto Eusébio, Ernesto Costa
    Pages 129-142
  8. José Ramón Zubizarreta Aizpuru, Javier Arrieta Usunáriz
    Pages 153-164
  9. Chris McConnell
    Pages 177-187
  10. J. Gama, P. Brazdil
    Pages 189-200
  11. Daniele Nardi, Riccardo Rosati
    Pages 225-235

About these proceedings


This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995.
The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.


Automated Reasoning Automatisches Schließen Maschinelles Lernen Nich-monotones Schließen Verteilte Künstliche Intelligenz Zwangsbasiertes Schließen case-based reasoning constraint-based reasoning distributed artificial intelligence expert system genetic algorithms knowledge representation nonmonotonic reasoning optimization uncertainty

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60428-0
  • Online ISBN 978-3-540-45595-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book