| Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, Epia '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 Edition Contributor(s): Pinto-Ferreira, Carlos (Editor), Mamede, Nuno J. (Editor) |
|
 |
ISBN: 3540604286 ISBN-13: 9783540604280 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: September 1995 Annotation: This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation. |
| Additional Information |
| BISAC Categories: - Computers | Intelligence (ai) & Semantics |
| Dewey: 006.3 |
| LCCN: 96135639 |
| Series: Lecture Notes in Mathematics |
| Physical Information: 1.02" H x 6.14" W x 9.21" (1.55 lbs) 492 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation. |