#### Filter Results:

- Full text PDF available (51)

#### Publication Year

1956

2014

- This year (0)
- Last 5 years (2)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Raymond Reiter
- Artif. Intell.
- 1980

The need to make default assumptions is frequently encountered in reasoning'about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non.monotonJcity of any logic of defaults. In this paper we propose a logic for… (More)

- Raymond Reiter
- Artif. Intell.
- 1987

Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system… (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)

- Raymond Reiter
- Logic and Data Bases
- 1977

- Raymond Reiter
- On Conceptual Modelling
- 1982

- Johan de Kleer, Alan K. Mackworth, Raymond Reiter
- Artif. Intell.
- 1992

\lr~stal marhes tr~1110 iel—based (liagnesis describe a diagnosis for a systeiii as a set of failing coin— ponents t hat explains the sviiiptonis. In order to cllaracterlze the typically very large number of ihagnoses, isilaily only the Iii ininial such sets of failing cunipolient s are represeiited This met hod of cliai’aeterizing all (liagnoses is… (More)

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

- Craig Boutilier, Raymond Reiter, Bob Price
- IJCAI
- 2001

We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the situation calculus allowing for stochastic actions. It produces a logical description of the optimal value function and policy by constructing a set of first-order formulae that… (More)

- Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
- AAAI/IAAI
- 2000

We propose a framework for robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model allows one to partially specify a control program in a highlevel, logical language, but also provides an interpreter that— given a logical axiomatization of a domain—will determine… (More)

- Fiora Pirri, Raymond Reiter
- J. ACM
- 1999

We focus on a rich axiomatization for actions in the situation calculus that includes, among other features, a solution to the frame problem for deterministic actions. Our work is foundational in nature, directed at simplifying the entailment problem for these axioms. Specifically, we make four contributions to the metatheory of situation calculus… (More)