Sciweavers

20 search results - page 1 / 4
» Hypothetical Knowledge and Counterfactual Reasoning
Sort
View
TARK
1998
Springer
13 years 9 months ago
Hypothetical Knowledge and Counterfactual Reasoning
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Joseph Y. Halpern
IJCAI
1993
13 years 6 months ago
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. Counterfactual implication models a statement "if p, then q...
Thomas Eiter, Georg Gottlob
CONTEXT
1999
Springer
13 years 9 months ago
Counterfactual Reasoning by Means of a Calculus of Narrative Context
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
Rolf Nossum, Michael Thielscher
DAGSTUHL
1998
13 years 6 months ago
A Practical Approach to Hypothetical Database Queries
Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...
Henning Christiansen, Troels Andreasen