Electronic Books

Total Books: 1 - 20 /35

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

Advances in Web Intelligence

In recent years the Internet has become a source of data and information of indisputable importance and has immensely gained ...

An Introduction to Ontology Engineering / Maria Keet

Provides the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on ...

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

Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

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

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

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

Canadian Semantic Web

This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...

Cognitive Vision Systems

This volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively ...

Declarative Programming for Knowledge Management

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...

Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...

Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations

Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational ...

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

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

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

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

Total Books: 1 - 20 /35