Coverart for item
The Resource Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings, Jacques Wainer, Ariadne Carvalho (eds.)

Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings, Jacques Wainer, Ariadne Carvalho (eds.)

Label
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings
Title
Advances in artificial intelligence
Title remainder
12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings
Statement of responsibility
Jacques Wainer, Ariadne Carvalho (eds.)
Title variation
  • Twelfth Brazilian Symposium on Artificial Intelligence
  • 12th Brazilian Symposium on Artificial Intelligence
  • SBIA '95
Creator
Contributor
Subject
Genre
Language
eng
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
  • "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
Member of
Cataloging source
NRU
Illustrations
illustrations
Index
no index present
LC call number
QA76
LC item number
.L43 991
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
Simpósio Brasileiro de Inteligência Artificial
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Wainer, Jacques
  • Carvalho, Ariadne
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
991.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Knowledge representation (Information theory)
Label
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings, Jacques Wainer, Ariadne Carvalho (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
33488428
Dimensions
24 cm
Extent
xii, 342 pages
Isbn
9783540604365
Isbn Type
(pbk. : alk. paper)
Lccn
95232663
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings, Jacques Wainer, Ariadne Carvalho (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
33488428
Dimensions
24 cm
Extent
xii, 342 pages
Isbn
9783540604365
Isbn Type
(pbk. : alk. paper)
Lccn
95232663
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...