Adaptive Multimedial Retrieval: Retrieval, User, and Semantics : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...
Continue reading
Advances in Web Intelligence
In recent years the Internet has become a source of data and information of indisputable importance and has immensely gained ...
Continue reading
An introduction to description logics, Franz Baader, Ian Horrocks, Karsten Lutz, Ulli Sattler
Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...
Continue reading
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Continue reading
Canadian Semantic Web
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...
Continue reading
Cognitive Vision Systems
This volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively ...
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
Knowledge Science, Engineering and Management
This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...
Continue reading
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational ...
Continue reading
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
Continue reading
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Continue reading
Model Driven Architecture and Ontology Development
Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...
Continue reading
Reasoning Web
This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...
Continue reading
Reasoning Web (vol. # 3564)
This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). ...
Continue reading
Reasoning Web : 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
This book is presented provide competent coverage of methods and major application areas such as social networks, semantic ...
Continue reading
