and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
683
|
Circumscription - a form of nonmonotonic reasoning
– McCarthy
- 1980
|
|
539
|
Graphical Models
– Lauritzen
- 1996
|
|
412
|
Applications of circumscription to formalizing common-sense knowledge
– McCarthy
- 1986
|
|
277
|
Pointwise circumscription
– Lifschitz
- 1987
|
|
154
|
Embracing causality in specifying the indirect effects of actions
– Lin
- 1995
|
|
145
|
Features and Fluents
– Sandewall
- 1994
|
|
139
|
A causal theory of ramifications and qualifications
– McCain, Turner
- 1995
|
|
133
|
Default reasoning, nonmonotonic logics and frame problem
– Hanks, McDermott
- 1986
|
|
128
|
Nonmonotonic reasoning in the framework of situation calculus
– Baker
- 1991
|
|
111
|
Formal theories of action
– Lifschitz
- 1987
|
|
90
|
Frames in the space of situations
– Lifschitz
- 1990
|
|
88
|
The logic of persistence
– Kautz
- 1986
|
|
85
|
Representing actions in extended logic programs
– Gelfond, Lifschitz
- 1992
|
|
67
|
Qualitative probabilities for default reasoning, belief revision, and causal modeling
– Goldszmidt, Pearl
- 1996
|
|
58
|
Graphical models. causality and intervention
– Pearl
- 1993
|
|
52
|
Chronological ignorance: Experiments in nonmonotonic temporal reasoning
– Shoham
- 1988
|
|
44
|
Nonmonotonic temporal reasoning
– Sandewall, Shoham
- 1994
|
|
43
|
Embracing causality in specifying the indeterminate effects of actions
– Lin
- 1996
|
|
35
|
Why things go wrong: A formal theory of causal reasoning
– Morgenstern, Stein
- 1988
|
|
34
|
Symbolic causal networks
– Darwiche, Pearl
- 1994
|
|
33
|
Causal theories for nonmonotonic reasoning
– Geffner
- 1990
|
|
28
|
Embracing Causality in Specifying the Indirect Eects of Actions
– Lin
- 1995
|
|
27
|
Two counterexamples related to Baker's approach to the frame problem
– Kartha
- 1994
|
|
25
|
Formalizing Reasoning about Change: a Qualitative Reasoning Approach
– Crawford, Etherington
- 1992
|
|
18
|
Causation, action, and counterfactuals
– Pearl
- 1996
|
|
8
|
Causal theories for nonmonotonic reasoning
– Gener
- 1990
|
|
7
|
Reasoning about actual and hypothetical occurrences of concurrent and non-deterministic actions
– Baral, Gelfond, et al.
- 1995
|
|
7
|
Symbolic causal networks for reasoning about actions and plans
– Darwiche, Pearl
- 1994
|
|
3
|
Simple causal mimimizations for temporal persistence and projection
– Haugh
- 1987
|
|
2
|
A causal theory of ramications and qualications
– McCain, Turner
- 1995
|
|
