This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...
Lire la suiteIn recent years the Internet has become a source of data and information of indisputable importance and has immensely gained ...
Lire la suiteProvides the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on ...
Lire la suiteDesigned so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...
Lire la suiteAll current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suiteAll current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteThis book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...
Lire la suiteThis volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively ...
Lire la suiteThis volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...
Lire la suiteKnowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational ...
Lire la suiteThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suiteThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lire la suiteConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suite