Table of contents

  1. Front Matter
  2. Michael P. Wellman
    Pages 26-27
  3. Matías Alvarado, Gustavo Núñez
    Pages 28-38
  4. A. V. Joshi, S. C. Sahasrabudhe, K. Shankar
    Pages 39-48
  5. Tania Bedrax-Weiss, Leopoldo E. Bertossi
    Pages 59-68
  6. Michael da Costa Móra, José Gabriel Lopes, Helder Coelho
    Pages 69-78
  7. Claudia M. G. M. Oliveira
    Pages 79-90
  8. Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz
    Pages 91-100
  9. Odinaldo Rodrigues, Mario Benevides
    Pages 101-111
  10. Gerson Zaverucha, Sheila R. M. Veloso
    Pages 112-120
  11. Esma Aïmeur, Claude Frasson, Carmen Alexe
    Pages 121-130
  12. Bert Bredeweg, Kees de Koning, Cis Schut
    Pages 131-140
  13. Evandro de Barros Costa, Manoel A. Lopes, Edilson Ferneda
    Pages 141-150
  14. Manuel L. Campagnolo, Helder Coelho, Jorge H. Capelo
    Pages 161-170
  15. Luís Alfredo, V. de Carvalho, Valéria L. Roitman
    Pages 191-200
  16. Lucila Ohno-Machado, Mark A. Musen
    Pages 201-209
  17. Emmanuel Passos, Romildo Valente
    Pages 210-218
  18. Marcos Augusto, Hochuli Shmeil, Eugénio Oliveira
    Pages 242-252
  19. Jaime Simão Sichman, Yves Demazeau
    Pages 253-263
  20. Edilson Ferneda, Mário E. de Souza e Silva, Hélio de Menezes Silva
    Pages 264-273
  21. Sofiane Labidi, Mohamed Mohsen Gammoudi
    Pages 285-294
  22. Emmanuel Passos, Alberto Sade Jr., Cícero Garcez, Asterio Tanaka
    Pages 295-301
  23. Paul McFetridge, Aline Villavicencio
    Pages 302-311
  24. Marie-Hélène Stefanini, Yves Demazeau
    Pages 312-322
  25. Aline Villavicencio, José Gabriel P. Lopes, Nuno M. C. Marques, Fabio Villavicencio
    Pages 323-332
  26. Walid S. Saba, Jean-Pierre Corriveau
    Pages 333-342
  27. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in October 1995.
The book presents three invited papers and 31 revised full papers selected from a total 57 submissions, more than half of them coming from abroad. The papers are organized in sections on knowledge representation and automated reasoning, tutoring systems, machine learning, neural networks, distributed artificial intelligence, knowledge acquisition and knowledge bases, and natural language processing.


Automatisches Schließen DAI Frames Knowledge Representation Lernsysteme Maschinelles Lernen VKI Verteilte Künstliche Intelligenz agents algorithms automated reasoning intelligence machine learning neural network semantics

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-60436-5
  • Online ISBN 978-3-540-47467-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences