ENGLISH

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

By Arjeh M. Cohen (auth.) , Jacques Calmet , Dongming Wang (eds.) , Tetsuo Ida

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
3540397280, 9783540397281
DOI
10.1007/11856290
Open Library ID
OL9056871M
Language
english
Format
PDF
Filesize
3 MB (3154129 bytes)
Series
Lecture Notes in Computer Science 4120 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
269\279
Library
Kolxo3
Time added
2011-02-14 12:09:19
Artificial Intelligence (incl. Robotics); Symbolic

Description

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.

Similar books