This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Continue reading
The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This ...
Continue reading
This book is written for mathematics and statistics educators and researchers. It summarizes the research and highlights ...
Continue reading
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...
Continue reading
Diagrammatology investigates the role of diagrams for thought and knowledge. Based on the general doctrine of diagrams in ...
Continue readingThis book discusses the learning and teaching of geometry, with a special focus on kindergarten and primary education. It ...
Continue reading
This book constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE ...
Continue reading
This open access book covers all facets of entity-oriented search—where “search” can be interpreted in the broadest ...
Continue reading
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Continue reading
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Continue reading
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Continue reading
Fuzzy Implications (FIs) generalize the classical implication and play a similar important role in Fuzzy Logic (FL), both ...
Continue reading
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
Continue reading
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...
Continue reading
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...
Continue reading
Illinois Institute of Technology an architectural tour by Franz Schulze with photographs by Richard Barnes foreword by Lew ...
Continue reading
The area of Information Technology & Lawyers is a fascinating one. Both from a practical and an academic perspective the ...
Continue reading
This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate ...
Continue reading
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
Continue reading