The Semantic Web – ISWC 2020
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lire la suite
The Semantic Web – ISWC 2020
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lire la suite
The Semantic Web: Research and Applications
Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...
Lire la suite
The Semantic Web: Research and Applications (vol. # 3532)
The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit ...
Lire la suite
The Semantic Web: Research and Applications (vol. # 4011)
PrefaceThis volume contains the main proceedings of the 3rd Annual European Se-mantic Web Conference (ESWC 2006) held in ...
Lire la suite
The Semantic Web: Research and Applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
Lire la suite
The Web Resource Space Model
Classifying objects into categories at different granularity levels, establishing links between known objects, and discovering ...
Lire la suite
The Web of Data
This book concisely brings together the key standards and best practices relating to modelling, querying, validating and ...
Lire la suite
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lire la suite
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lire la suite
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suite
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Lire la suite
Thought-Contents : On the Ontology of Belief and the Semantics of Belief Attribution
This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...
Lire la suite
Time and Modality
Time and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suite
