#### Filter Results:

- Full text PDF available (88)

#### Publication Year

1987

2017

- This year (1)
- Last 5 years (16)
- Last 10 years (45)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
- J. Log. Program.
- 1997

This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and eeects of actions and the initial state of the world. This allows programs to reason about the state of the world and… (More)

- Fangzhen Lin, Yuting Zhao
- Artif. Intell.
- 2002

We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a logic program, we show that by adding, for each loop in the program, a corresponding loop formula to the program's completion, we obtain a one-to-one correspondence between the answer sets of the program and the models of… (More)

- Fangzhen Lin, Raymond Reiter
- J. Log. Comput.
- 1994

- Fangzhen Lin
- IJCAI
- 1995

This paper considers the problem of specify ing the effects of actions in the s i tuat ion cal culus using domain constraints. We argue that normal state constraints tha t refer to only the t r u t h values of f luents are not strong enough for this purpose, and tha t a not ion of causation needs to be employed expl ic i t ly. Technically, we int roduce a… (More)

- Fangzhen Lin, Raymond Reiter
- Artif. Intell.
- 1997

One way to think about a STRIPS operator is as a mapping from databases to databases, in the following sense: suppose we want to know what the world would be like if an action, represented by the STRIPS operator (Y, were done in some world, represented by the STRIPS database Do. To find out, simply perform the operator (Y on DO (by applying (Y’S elementary… (More)

- Fangzhen Lin, Yoav Shoham
- AAAI
- 1992

- Fangzhen Lin
- KR
- 2002

- Fangzhen Lin, Yoav Shoham
- Artif. Intell.
- 1992

- Fangzhen Lin
- AAAI/IAAI, Vol. 1
- 1996

This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them. Logical Preliminaries… (More)

- Fangzhen Lin
- Artif. Intell.
- 2000

Given a propositional theory T and a proposition q, a suucient condition of q is one that will make q true under T , and a necessary condition of q is one that has to be true for q to be true under T. In this paper , we propose a notion of strongest necessary and weakest suucient conditions. Intuitively, the strongest necessary condition of a proposition is… (More)