Research Catalog
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings
- Title
- Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings / Jacques Wainer, Ariadne Carvalho (eds.).
- Author
- Simpósio Brasileiro de Inteligência Artificial (12th : 1995 : Campina, Brazil)
- Publication
- Berlin ; New York : Springer-Verlag, ©1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | Q334 .S556 1995 | Off-site |
Details
- Additional Authors
- Description
- xii, 342 pages : illustrations; 24 cm
- Summary
- "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."--PUBLISHER'S WEBSITE.
- Series Statement
- Lecture notes in computer science ; 991. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 991.
- Lecture notes in computer science. Lecture notes in artificial intelligence
- Alternative Title
- Twelfth Brazilian Symposium on Artificial Intelligence
- 12th Brazilian Symposium on Artificial Intelligence
- SBIA '95
- Subject
- Artificial intelligence > Congresses
- Knowledge representation (Information theory) > Congresses
- Artificial intelligence
- Knowledge representation (Information theory)
- Künstliche Intelligenz
- Kongress
- Kunstmatige intelligentie
- Intelligence artificielle > Congrès
- Représentation des connaissances > Congrès
- Kongreß
- Genre/Form
- Conference papers and proceedings
- Campinas (1995)
- Bibliography (note)
- Includes bibliographical references.
- Contents
- Rethinking and Reinventing Artificial Intelligence from the Perspective of Human-Centered Computational Artifacts / Gerhard Fischer -- Automatic Documentation Generation: Including Examples / Cecile L. Paris -- Market Oriented Programming (Abstract) / Michael P. Wellman -- Belief Increasing in SKL Model Frames / Matias Alvarado and Gustavo Nunez -- Sensitivity of Combination Schemes under Conflicting Conditions and a New Method / A.V. Joshi, S.C. Sahasrabudhe and K. Shankar -- Two Conditional Logics for Defeasible Inference: A Comparison Preliminary Version / Veronica Becher -- Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem / Tania Bedrax-Weiss and Leopoldo E. Bertossi -- Modeling Intentions with Extended Logic Programming / Michael da Costa Mora, Jose Gabriel Lopes and Helder Coelho -- Labelled Theorem Proving for Substructural Logics / Claudia M.G.M. Oliveira.
- ISBN
- 3540604367
- 9783540604365
- LCCN
- 95232663
- OCLC
- ocm33488428
- 33488428
- SCSB-9192781
- Owning Institutions
- Princeton University Library