Informatik (15 821 Artikel)

A Model-Based Perspective

Semantic Web Technologies and Legal Scholarly Publishing

Semantic Web Technologies and Legal Scholarly Publishing

Decentralized Management and Exchange of Knowledge and Information

Der Grundgedanke des Semantischen Webs besteht darin, Informationen, die sonst nur für den Menschen verständlich wären, so aufzubereiten, dass sie von Computern interpretiert und maschinell weiterv...

This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and for...

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes...

The book first introduces the problem of information overload and the reasons why content-based information needs to be taken into account. Next, the basics of Natural Language Processing are provi...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knolwedge Bases, SDKB 2008, held in Nantes, France, on March 29,...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bordeaux, France in July 2010. The 6 re...

5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full ...

Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent ...

A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems t...