Electronic Books

Total Books: 121 - 140 /189
978-3-540-31224-6
Mathematical Modelling for Sustainable Development

Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised ...

Continue reading
978-3-540-32254-2
Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Continue reading
978-1-4020-4939-2
Methods of Legal Reasoning

The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, ...

Continue reading
NoIMG
Model-Based Reasoning in Science, Technology, and Medicine

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...

Continue reading
978-3-540-33588-7
Modeling and Retrieval of Context

Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...

Continue reading
978-3-540-74255-5
Modeling and Using Context

This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...

Continue reading
978-0-387-30262-1
Modelling and Reasoning with Vague Concepts

This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...

Continue reading
978-1-4020-6872-0
Moral Psychology Today

This book brings together in one volume some of the very latest developments in moral psychology that were presented at a ...

Continue reading
978-3-540-75254-7
Multi-Agent Systems and Applications V

The technical research paper section of the proceedingscontains pure - search papers as well as research results in application ...

Continue reading
978-3-540-73257-0
Online Communities and Social Computing

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, ...

Continue reading
978-3-7643-7361-0
Ontologies for Agents: Theory and Experiences

On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...

Continue reading
978-3-540-36668-3
PRICAI 2006: Trends in Artificial Intelligence

This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...

Continue reading
978-3-540-89197-0
PRICAI 2008: Trends in Artificial Intelligence : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence, ...

Continue reading
978-3-540-32420-1
Pattern Recognition and Machine Intelligence

This book constitutes the refereed proceedings of the First International Conference on Pattern Recognition and Machine Intelligence, ...

Continue reading
978-3-319-64828-6
Principles and Practice of Case-based Clinical Reasoning Education

This volume describes and explains the educational method of Case-Based Clinical Reasoning (CBCR) used successfully in medical ...

Continue reading
978-3-540-32028-9
Principles and Practice of Semantic Web Reasoning (vol. # 3703)

Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...

Continue reading
978-3-540-39587-4
Principles and Practice of Semantic Web Reasoning (vol. # 4187)

The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...

Continue reading
978-3-540-79007-5
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems by Pierre Bessiere, Christian Laugier and Roland Siegwart ...

Continue reading
NoIMG
Professional Practice in Artificial Intelligence

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-3-540-48938-2
Programming Languages and Systems (vol. # 4279)

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...

Continue reading
Total Books: 121 - 140 /189