Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised ...
اقرأ المزيد
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, ...
اقرأ المزيدThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
اقرأ المزيد
Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
اقرأ المزيد
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
اقرأ المزيد
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
This book brings together in one volume some of the very latest developments in moral psychology that were presented at a ...
اقرأ المزيد
The technical research paper section of the proceedingscontains pure - search papers as well as research results in application ...
اقرأ المزيد
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, ...
اقرأ المزيد
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the First International Conference on Pattern Recognition and Machine Intelligence, ...
اقرأ المزيد
This volume describes and explains the educational method of Case-Based Clinical Reasoning (CBCR) used successfully in medical ...
اقرأ المزيد
Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
اقرأ المزيد
The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
اقرأ المزيد
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems by Pierre Bessiere, Christian Laugier and Roland Siegwart ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
اقرأ المزيد