Table of contents

  1. Front Matter
  2. Les Gasser, Ingemar Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak
    Pages 1-12
  3. Michael Fisher, Michael Wooldridge
    Pages 13-28
  4. Irene Pimenta Rodrigues, José Gabriel Lopes
    Pages 45-60
  5. Luis Damas, Nelma Moreira, Sabine Broda
    Pages 61-76
  6. Gabriel David, António Porto
    Pages 77-92
  7. Georg Reichwein, José Fiadeiro
    Pages 93-104
  8. Margarida Mamede, Luís Monteiro
    Pages 121-135
  9. Armando B. Matos
    Pages 150-157
  10. Armando B. Matos
    Pages 158-169
  11. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Pages 183-197
  12. Grigoris Antoniou, Elmar Langetepe
    Pages 213-225
  13. Maria R. Cravo, João P. Martins
    Pages 226-241
  14. Alois Haselböck, Markus Stumptner
    Pages 258-270

About these proceedings


This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning.


Distributed Artificial Intelligence Knowledge Representation Logic Programming Logisches Programmieren Natural Language Processing Natürlichsprachliche Verarbeitung Nicht-Standard Logiken Verteilte künstliche Intelligenz algorithms automated reasoning automated theorem proving complexity intelligence natural language programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57287-9
  • Online ISBN 978-3-540-48036-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book