Skip to main content
SpringerLink
Log in

Advances in Artificial Intelligence

12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 11 - 13, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Jacques Wainer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ariadne Carvalho
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 991)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter PDF

  2. Rethinking and reinventing Artificial Intelligence from the perspective of human-centered computational artifacts

    • Gerhard Fischer
    Pages 1-11

  3. Automatic documentation generation: Including examples

    • Cécile L. Paris
    Pages 12-25

  4. Market-oriented programming (abstract)

    • Michael P. Wellman
    Pages 26-27

  5. Belief increasing in SKL model frames

    • Matías Alvarado, Gustavo Núñez
    Pages 28-38

  6. Sensitivity of combination schemes under conflicting conditions and a new method

    • A. V. Joshi, S. C. Sahasrabudhe, K. Shankar
    Pages 39-48

  7. Two conditional logics for defeasible inference: A comparison preliminary version

    • Verónica Becher
    Pages 49-58

  8. Underlying semantics for the assessment of Reiter's solution to the frame problem

    • Tania Bedrax-Weiss, Leopoldo E. Bertossi
    Pages 59-68

  9. Modeling intentions with extended logic programming

    • Michael da Costa Móra, José Gabriel Lopes, Helder Coelho
    Pages 69-78

  10. Labelled theorem proving for substructural logics

    • Claudia M. G. M. Oliveira
    Pages 79-90

  11. Labelled abduction

    • Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz
    Pages 91-100

  12. PROMAL: Programming in modal action logic

    • Odinaldo Rodrigues, Mario Benevides
    Pages 101-111

  13. A goal directed reasoning for semi-normal default theories

    • Gerson Zaverucha, Sheila R. M. Veloso
    Pages 112-120

  14. Towards new learning strategies in intelligent tutoring systems

    • Esma Aïmeur, Claude Frasson, Carmen Alexe
    Pages 121-130

  15. Modeling the influence of non-changing quantities

    • Bert Bredeweg, Kees de Koning, Cis Schut
    Pages 131-140

  16. Mathema: A learning environment based on a multi-agent architecture

    • Evandro de Barros Costa, Manoel A. Lopes, Edilson Ferneda
    Pages 141-150

  17. A general model of dialogue interpretation for concept tutoring systems

    • Alexandre I. Direne
    Pages 151-160

  18. Knowledge based clustering of partially characterized objects

    • Manuel L. Campagnolo, Helder Coelho, Jorge H. Capelo
    Pages 161-170

  19. Constructing the extensional representation of an intensional domain theory in inductive logic programming

    • M. C. Nicoletti, M. C. Monard
    Pages 171-180

  20. A generic algorithm for learning rules with hierarchical exceptions

    • Tobias Scheffer
    Pages 181-190
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation