397 search results - page 1 / 80 » Causal Reasoning with Contexts Using Dependent Types |
FLAIRS
2008
13 years 6 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
JMLR
2008
13 years 4 months ago
2008
Causal reasoning is primarily concerned with what would happen to a system under external interventions. In particular, we are often interested in predicting the probability distr...
TIME
1998
IEEE
13 years 8 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
IAT
2007
IEEE
13 years 11 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...