×
Author ID: reiter.ray Recent zbMATH articles by "Reiter, Ray"
Published as: Reiter, Ray

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 91 times in 69 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
579
1980
How to progress a database. Zbl 1017.68510
Lin, Fangzhen; Reiter, Ray
28
1997
State constraints revisited. Zbl 0815.68096
Lin, Fangzen; Reiter, Ray
26
1994
Some contributions to the metatheory of the situation calculus. Zbl 1065.68627
Pirri, Fiora; Reiter, Ray
20
1999
Logic and data bases. Proceedings of the symposium on logic and data bases held at the Centre d’Etudes et de Recherches de L’Ecole Nationale Superieure de L’Aeronautique et de L’Espace de Toulouse (C.E.R.T.), Toulouse, France, November 16-18, 1977. Zbl 0412.68089
16
1978
On knowledge-based programming with sensing in the situation calculus. Zbl 1365.68409
Reiter, Ray
11
2001
Rules as actions: A situation calculus semantics for logic programs. Zbl 0882.68031
Lin, Fangzhen; Reiter, Ray
5
1997
Constructive arithmetics. Zbl 0523.03049
Pfender, M.; Reiter, R.; Sartorius, M.
1
1982
Non-terminating processes in the situation calculus. Zbl 1444.68179
De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray
1
2020
Non-terminating processes in the situation calculus. Zbl 1444.68179
De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray
1
2020
On knowledge-based programming with sensing in the situation calculus. Zbl 1365.68409
Reiter, Ray
11
2001
Some contributions to the metatheory of the situation calculus. Zbl 1065.68627
Pirri, Fiora; Reiter, Ray
20
1999
How to progress a database. Zbl 1017.68510
Lin, Fangzhen; Reiter, Ray
28
1997
Rules as actions: A situation calculus semantics for logic programs. Zbl 0882.68031
Lin, Fangzhen; Reiter, Ray
5
1997
State constraints revisited. Zbl 0815.68096
Lin, Fangzen; Reiter, Ray
26
1994
Constructive arithmetics. Zbl 0523.03049
Pfender, M.; Reiter, R.; Sartorius, M.
1
1982
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
579
1980
Logic and data bases. Proceedings of the symposium on logic and data bases held at the Centre d’Etudes et de Recherches de L’Ecole Nationale Superieure de L’Aeronautique et de L’Espace de Toulouse (C.E.R.T.), Toulouse, France, November 16-18, 1977. Zbl 0412.68089
16
1978
all top 5

Cited by 89 Authors

10 Levesque, Hector J.
7 Belle, Vaishak
5 De Giacomo, Giuseppe
5 Gonçalves, Ricardo
5 Knorr, Matthias
5 Lakemeyer, Gerhard
5 Leite, João
5 Lin, Fangzhen
4 Lespérance, Yves
4 McIlraith, Sheila A.
4 Patrizi, Fabio
3 Lifschitz, Vladimir
3 Pearce, Adrian R.
3 Thielscher, Michael
2 Baier, Jorge A.
2 Denecker, Marc
2 Felli, Paolo
2 Gabaldon, Alfredo
2 Herzig, Andreas
2 Kelly, Ryan F.
2 Pagnucco, Maurice
2 Pirri, Fiora
2 Soutchanski, Mikhail
2 Varzinczak, Ivan Jóse
2 Vassos, Stavros
2 Woltran, Stefan
1 Aha, David W.
1 Amati, Gianni
1 Amir, Eyal
1 Baral, Chitta R.
1 Berthold, Matti
1 Bibel, Wolfgang
1 Bikakis, Antonis
1 Bogaerts, Bart
1 Bruynooghe, Maurice
1 Carlucci Aiello, Luigia
1 Castellini, Claudio
1 Costello, Tom
1 D’Asaro, Fabio Aurelio
1 de Cat, Broes
1 Demolombe, Robert
1 Dickens, Luke
1 Fang, Liangda
1 Feng, Qihui
1 Ferraris, Paolo
1 Finzi, Alberto
1 Foo, Norman Y.
1 Giunchiglia, Enrico
1 Gu, Yilan
1 Janhunen, Tomi
1 Jansen, Joachim
1 Ji, Jianmin
1 Kuznetsov, Stepan L’vovich
1 Lang, Jérôme
1 Laverny, Noël
1 Lee, Joohyung
1 Liu, Daxin
1 Liu, Yongmei
1 Logan, Brian
1 Lukasiewicz, Thomas
1 Miller, Rob
1 Miller, Tim
1 Molineaux, Matthew
1 Morgenstern, Leora
1 Muise, Christian
1 Norman, Timothy J.
1 Pinto, Javier A.
1 Plaisted, David Alan
1 Ponomaryov, Denis K.
1 Reed, Chris
1 Reiter, Ray
1 Reiter, Raymond
1 Sardina, Sebastian
1 Savelli, Francesco
1 Scherl, Richard B.
1 Schwering, Christoph
1 Shapiro, Steven
1 Shen, Yuping
1 Shirazi, Afsaneh
1 Son, Tran Cao
1 Sonenberg, Liz
1 Tacchella, Armando
1 Task, Christine
1 Ternovska, Eugenia
1 van Ditmarsch, Hans Pieter
1 Vennekens, Joost
1 Wilson, Mark A.
1 Zhang, Dongmo
1 Zhao, Xishun

Citations by Year