Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
اقرأ المزيد
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
اقرأ المزيد
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...
اقرأ المزيد
Constitutionalism and Legal Reasoning
This book of legal philosophy contends that positive law is better understood if it is not too easily equated with power, ...
اقرأ المزيد
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
اقرأ المزيد
Current Topics in Artificial Intelligence
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
اقرأ المزيد
DNA Computing (vol. # 3384)
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
اقرأ المزيد
Data Journeys in the Sciences
This groundbreaking, book analyses and compares data practices across several fields through the analysis of specific cases ...
اقرأ المزيد
Data Science for Economics and Finance Methodologies and Applications
The book starts with an introduction on the use of data science technologies in economics and finance and is followed by ...
اقرأ المزيد
Declarative Agent Languages and Technologies II
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
اقرأ المزيد
Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
اقرأ المزيد
Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
اقرأ المزيد
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
اقرأ المزيد
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
اقرأ المزيد
Deontic Logic and Artificial Normative Systems
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
اقرأ المزيد
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
اقرأ المزيد
Designing Smart Homes
The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This ...
اقرأ المزيد
Developing Students Statistical Reasoning : Connecting Research and Teaching Practice
This book is written for mathematics and statistics educators and researchers. It summarizes the research and highlights ...
اقرأ المزيد
Diagrammatic Representation and Inference
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...
اقرأ المزيدEarly Geometrical Thinking in the Environment of Patterns, Mosaics and Isometries
This book discusses the learning and teaching of geometry, with a special focus on kindergarten and primary education. It ...
اقرأ المزيد
