Electronic Books

Total Books: 61 - 80 /189

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 ...

Total Books: 61 - 80 /189