102 search results - page 16 / 21 » Causal Logic |
PVM
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
KR
1994
Springer
13 years 11 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
AUSAI
2007
Springer
13 years 11 months ago
2007
Springer
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...
FLAIRS
2004
13 years 9 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
AAAI
1990
13 years 8 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...