Sciweavers

8 search results - page 1 / 2
» Causal interaction: from a high-level representation to an o...
Sort
View
IJCAI
2001
13 years 6 months ago
Causal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
Irène Grosclaude, Marie-Odile Cordier, Rene...
PRESENCE
2007
127views more  PRESENCE 2007»
13 years 4 months ago
Causal Perception in Virtual Reality and its Implications for Presence Factors
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
Marc Cavazza, Jean-Luc Lugrin, Marc Buehner
ENTCS
2008
123views more  ENTCS 2008»
13 years 4 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...
IAT
2009
IEEE
13 years 11 months ago
A New Semantics of Social Commitments Using Branching Space-Time Logic
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
JAIR
2006
179views more  JAIR 2006»
13 years 4 months ago
The Fast Downward Planning System
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
Malte Helmert