4401 search results - page 38 / 881 » Computing with Default Logic |
LOGCOM
2006
14 years 10 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
PDPTA
2004
14 years 11 months ago
2004
Current systems for managing workload on clusters of workstations, particularly those available for Linuxbased (Beowulf) clusters, are typically based on traditional process-based...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
RULEML
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
BSL
2006
14 years 10 months ago
2006
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...