Advertisement

Table of contents

  1. Front Matter
  2. Mireille Fornarino, Anne-Marie Pinna, Brigitte Trousse
    Pages 13-26
  3. Dario Giuse
    Pages 39-50
  4. Arkady Rabinov
    Pages 51-62
  5. Stephen G. Pimentel, John L. Cuadrado
    Pages 63-72
  6. Nuno J. Mamede, Carlos Pinto-Ferreira, João P. Martins
    Pages 85-96
  7. Maria R. Cravo, João P. Martins
    Pages 97-106
  8. Luís Moniz Pereira, Joaquim Nunes Aparício
    Pages 107-118
  9. F. Zetzsche
    Pages 119-128
  10. Carlos Pinto-Ferreira, João Pavão Martins
    Pages 141-150
  11. Luís Moniz Pereira, Miguel Calejo
    Pages 151-162
  12. Miguel Filgueiras
    Pages 163-174
  13. Luis Damas, Giovanni B. Varile
    Pages 175-186
  14. Ana Paula Tomás, Miguel Filgueiras
    Pages 187-197
  15. Clarisse Sieckenius de Souza, Donia R. Scott, Maria das Graças Volpe Nunes
    Pages 222-233
  16. José Távora, Helder Coelho
    Pages 246-256
  17. Christoph Welsch, Gerhard Barth
    Pages 257-268
  18. José Paulo Leal
    Pages 276-285
  19. Harald Kjellin, Bassam Michel El-Khouri
    Pages 286-296
  20. George C. McGregor
    Pages 297-307
  21. Robert C. Moore
    Pages 320-332
  22. António G. Portela
    Pages 333-347
  23. John F. Sowa
    Pages 381-396
  24. Pages 397-400

About these proceedings

Keywords

Automatisches Schließen Natürlichsprachliche Systeme Nicht-Standard Logik Prolog Wissensrepräsentation Wissensverarbeitung algorithms artificial intelligence autonom classification computer-assisted surgery knowledge knowledge base nonmonotonic reasoning robot

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-51665-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51665-1
  • Online ISBN 978-3-540-46743-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site