Raymond Reiter 人物
Raymond Reiter · 相关论文
A logic for default reasoning
1980Artificial Intelligence引用 3932
A theory of diagnosis from first principles
1987Artificial Intelligence引用 2909
GOLOG: A logic programming language for dynamic domains
1997The Journal of Logic Programming引用 1037
On Closed World Data Bases
1978引用 995
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
1991Elsevier eBooks引用 704
Characterizing diagnoses and systems
1992Artificial Intelligence引用 588
Towards a Logical Reconstruction of Relational Database Theory
1984Topics in information systems引用 577
Knowledge in Action
2001The MIT Press eBooks引用 569