Advances in Artificial Intelligence: 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings [Paperback]

Guilherme Bittencourt (Editor), Geber L. Ramalho (Editor)

List Price:	CDN$ 75.95
Price:	CDN$ 61.05 & this item ships for FREE with Super Saver Shipping. Details
You Save:	CDN$ 14.90 (20%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Usually ships within 2 to 5 weeks.
Ships from and sold by Amazon.ca. Gift-wrap available.

Product Details

Paperback: 430 pages
Publisher: Springer; 1 edition (Dec 5 2002)
Language: English
ISBN-10: 3540001247
ISBN-13: 978-3540001249
Product Dimensions: 23.6 x 15.6 x 2.5 cm
Shipping Weight: 612 g

Would you like to update product info or give feedback on images?

Product Description

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, held in Porto de Galinhas/Recife, Brazil in November 2002. The 39 revised full papers presented were carefully reviewed and selected from 146 submissions from 18 countries. the papers are organized in topical sections on theoretical and logical methods, autonomous agents and multi-agent systems, machine learning, knowledge discovery and data mining, evolutionary computation and artificial life, uncertainty, and natural language processing.

Inside This Book (Learn More)

First Sentence
In this paper we provide a framework for theorem proving in logics for 'generally' based on special functions, which permit using proof procedures and theorem provers for classical first-order logic to reason about assertions involving 'generally'. Read the first page

Explore More
Concordance