Skip to content
Home/ Intelligent Computer Mathematics: 9th International Conference, Aisc 2008 15th Symposium, Calculemus
Intelligent Computer Mathematics: 9th International Conference, Aisc 2008 15th Symposium, Calculemus

Intelligent Computer Mathematics: 9th International Conference, Aisc 2008 15th Symposium, Calculemus

No customer reviews yet ISBN 9783540851097

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

About the author

Product details

Pub dateJul 16, 2008
ISBN-103540851097
ISBN-139783540851097
LanguageEnglish
Last updated 2026-03-19 19:39
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Artificial Intelligence - General
See all
Mind Over Machine
Dreyfus, Hubert
$13.57
What to Think about Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence
Brockman, John
$12.77
AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Bender, Emily M
$22.48
Heuristic Search: Theory and Applications
Edelkamp, Stefan
$104.20
Vances in Intelligent Vehicles
Chen, Yaobin
$144.68
Plan, Activity, and Intent Recognition: Theory and Practice
<p>Plan recognition, activity recognition, and intent recognition together combine and unify techniques from user modeling, machine vision, intelligent user interfaces, human/computer interaction, autonomous and multi-agent systems, natural language understanding, and machine learning. </p> <i> <p>Plan, Activity, and Intent Recognition</i> explains the crucial role of these techniques in a wide variety of applications including: </p> <ul> <li>personal agent assistants </li> <li>computer and network security </li> <li>opponent modeling in games and simulation systems </li> <li>coordination in robots and software agents </li> <li>web e-commerce and collaborative filtering </li> <li>dialog modeling </li> <li>video surveillance </li> <li>smart homes </li></ul> <p>In this book, follow the history of this research area and witness exciting new developments in the field made possible by improved sensors, increased computational power, and new application areas.</p>
$138.85