Model Checking and Artificial Intelligence by Doron A Peled
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Replication
-
The Design of Intelligent Agents
-
Aging Friendly Technology for Health and Independence
-
Model-Based Engineering of Embedded Real-Time Systems
- Machine Learning and Knowledge Discovery in Databases. Research Track
-
Speech and Computer
-
End-User Development
-
String Processing and Information Retrieval
-
RoboCup 2025: Robot World Cup XXVIII
-
Automated Reasoning
-
Future and Emergent Trends in Language Technology
-
Artificial General Intelligence
-
Foundations of Intelligent Systems
-
Advanced Intelligent Computing Technology and Applications
-
Advances and Trends in Artificial Intelligence. Theory and Applications
-
Knowledge Science, Engineering and Management
-
Case-Based Reasoning Research and Development
-
Bioinformatics Research and Applications
-
Artificial Intelligence in Medicine
-
Transactions on Data Hiding and Multimedia Security V
-
Artificial Intelligence in HCI
-
Artificial Intelligence in Education
-
Towards Autonomous Robotic Systems
-
Combinatorial Image Analysis
-
Multimodal Brain Image Analysis
-
Applications of Evolutionary Computation
-
Digital Libraries for Open Knowledge
Wooldridge, Michael: - Michael Wooldridge is a professor of Computer Science and Head of the Department of Computer Science at the University of Oxford. Since earning his Ph.D. in AI, he has published more than 350 scientific articles on the subject. Mike has been at the heart of the AI community for a quarter of a century and knows most of the key figures in the international AI community. He has been president of the International Association for AI since 2015 and is a fellow of the American Association for AI. He has a long track record of public speaking and science communication on AI matters and related topics.
| SKU | Unavailable |
| ISBN 13 | 9783642004308 |
| ISBN 10 | 364200430X |
| Title | Model Checking and Artificial Intelligence |
| Author | Doron A Peled |
| Series | Lecture Notes In Computer Science Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2009-02-27 |
| Number of pages | 189 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |