BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper reminds of the vision behind Intellectics, the discipline of Arti cial Intelligence (AI) and Cognitive Science, and argues that the time has come for attacking ...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer