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