Download:
|
by Joohyung Lee, Vladimir Lifschitz, Hudson Turner
http://www.d.umn.edu/~hudson/zoo6.ps
Add To MetaCart
Abstract:
The Zoo World is an action domain proposed by Erik Sandewall as part of his Logic Modelling Workshop. We show how to represent
Citations
|
1195
|
A logic for default reasoning
– Reiter
- 1980
|
|
805
|
Negation as failure
– Clark
- 1978
|
|
570
|
Classical negation in logic programs and disjunctive databases
– Gelfond, Lifschitz
- 1991
|
|
139
|
Causal theories of action and change
– McCain, Turner
- 1997
|
|
119
|
Action languages
– Gelfond, Lifschitz
- 1998
|
|
106
|
An action language based on causal explanation: preliminary report
– Giunchiglia, Lifschitz
- 1998
|
|
39
|
Planning as satis
– Kautz, Selman
- 1992
|
|
29
|
Missionaries and cannibals in the causal calculator
– Lifschitz
|
|
10
|
Getting to the airport: The oldest planning problem
– Lifschitz, McCain, et al.
- 2000
|
|
7
|
Wire routing and satis planning
– Erdem, Lifschitz, et al.
- 2000
|
|
7
|
Satis planning with causal theories
– McCain, Turner
- 1998
|
|
3
|
Nonmonotonic causal theories. unpublished draft
– Giunchiglia, Lee, et al.
- 2002
|
|
2
|
A Representation of the Trac World in the Language of the Causal Calculator
– Akman, Erdogan, et al.
- 2001
|
|
2
|
Causal laws and multi-valued Unpublished draft
– Giunchiglia, Lee, et al.
- 2001
|
|
2
|
Additive To appear
– Lee, Lifschitz
- 2001
|
|
1
|
Additive
– Lee, Lifschitz
- 2001
|
