307 search results - page 4 / 62 » Causality and the Semantics of Provenance |
103
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
APN
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...
AI
2004
Springer
14 years 10 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
APWEB
2006
Springer
15 years 1 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...