Computational Logic in Multi-Agent Systems (vol. # 3900)
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Continue reading
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue reading
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Continue reading
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Continue reading
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Continue reading
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...
Continue reading
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, ...
Continue reading
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Continue reading
Creativity, Psychology and the History of Science
The present book includes papers from a wide range of topics. In the contributions to creativity research, Gruber proposes ...
Continue reading
Current Topics in Artificial Intelligence
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Continue reading
DNA Computing (vol. # 3384)
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
Continue reading
Data Journeys in the Sciences
This groundbreaking, book analyses and compares data practices across several fields through the analysis of specific cases ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Continue reading
Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Continue reading
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 ...
Continue reading
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Continue reading
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, ...
Continue reading
