×
Author ID: reiter.raymond Recent zbMATH articles by "Reiter, Raymond"
Published as: Reiter, Raymond; Reiter, R.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 26 Publications since 1968, including 1 Book
1 Contribution as Editor · 3 Further Contributions
Software Indexed: 1 Package
Biographic References: 1 Publication
Co-Authors: 12 Co-Authors with 13 Joint Publications
153 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 744 times in 583 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
600
1980
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
251
1987
Knowledge in action. Logical foundations for specifying and implementing dynamical systems. Zbl 1018.03022
Reiter, Raymond
132
2001
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Zbl 0755.68124
Reiter, Raymond
79
1991
GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
70
1997
Characterizing diagnoses and systems. Zbl 0772.68085
de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond
65
1992
Equality and domain closure in first-order databases. Zbl 0441.68117
Reiter, Raymond
26
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
17
1978
Proving properties of states in the situation calculus. Zbl 0788.68139
Reiter, Raymond
16
1993
Readings in artificial intelligence. Zbl 0498.68054
16
1981
What should a database know? Zbl 0777.68035
Reiter, Raymond
14
1992
Some representational issues in default reasoning. Zbl 0523.68082
Reiter, Raymond; Criscuolo, Giovanni
14
1983
On integrity constraints. Zbl 0725.68099
Reiter, Raymond
13
1988
Scheduling parallel computations. Zbl 0167.16405
Reiter, Raymond
13
1968
Two results on ordering for resolution with merging and linear format. Zbl 0238.68030
Reiter, Raymond
9
1971
On specifying database updates. Zbl 0871.68075
Reiter, Raymond
7
1995
A semantically guided deductive system for automatic theorem proving. Zbl 0324.68052
Reiter, Raymond
7
1976
A note on linear resolution strategies in consequence-finding. Zbl 0252.68049
Minicozzi, Eliana; Reiter, Raymond
6
1972
A logical framework for depiction and image interpretation. Zbl 0689.68113
Reiter, Raymond; Mackworth, Alan K.
5
1989
Reasoning about time in the situation calculus. Zbl 0855.68102
Pinto, Javier; Reiter, Raymond
3
1995
On the concept of generic object: A nonmonotonic reasoning approach and examples. Zbl 0988.03523
Bertossi, L. E.; Reiter, R.
2
1994
A situation calculus approach to modeling and programming agents. Zbl 0968.68152
Lespérance, Y.; Levesque, H. J.; Reiter, R.
2
1999
On assembly-line balancing problems. Zbl 0176.50101
Reiter, Raymond
2
1969
Proceedings of the first international conference on principles of knowledge representation and reasoning (KR ’89), held in Toronto, Ontario, Canada, May 15-18, 1989. Zbl 0699.00013
1
1989
Formalizing database evolution in the situation calculus. Zbl 0862.68040
Reiter, Raymond
1
1992
Planning with natural actions in the situation calculus. Zbl 0980.68103
Pirri, Fiora; Reiter, Raymond
1
2000
Constructive arithmetics. Zbl 0523.03049
Pfender, M.; Reiter, R.; Sartorius, M.
1
1982
Knowledge in action. Logical foundations for specifying and implementing dynamical systems. Zbl 1018.03022
Reiter, Raymond
132
2001
Planning with natural actions in the situation calculus. Zbl 0980.68103
Pirri, Fiora; Reiter, Raymond
1
2000
A situation calculus approach to modeling and programming agents. Zbl 0968.68152
Lespérance, Y.; Levesque, H. J.; Reiter, R.
2
1999
GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
70
1997
On specifying database updates. Zbl 0871.68075
Reiter, Raymond
7
1995
Reasoning about time in the situation calculus. Zbl 0855.68102
Pinto, Javier; Reiter, Raymond
3
1995
On the concept of generic object: A nonmonotonic reasoning approach and examples. Zbl 0988.03523
Bertossi, L. E.; Reiter, R.
2
1994
Proving properties of states in the situation calculus. Zbl 0788.68139
Reiter, Raymond
16
1993
Characterizing diagnoses and systems. Zbl 0772.68085
de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond
65
1992
What should a database know? Zbl 0777.68035
Reiter, Raymond
14
1992
Formalizing database evolution in the situation calculus. Zbl 0862.68040
Reiter, Raymond
1
1992
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Zbl 0755.68124
Reiter, Raymond
79
1991
A logical framework for depiction and image interpretation. Zbl 0689.68113
Reiter, Raymond; Mackworth, Alan K.
5
1989
Proceedings of the first international conference on principles of knowledge representation and reasoning (KR ’89), held in Toronto, Ontario, Canada, May 15-18, 1989. Zbl 0699.00013
1
1989
On integrity constraints. Zbl 0725.68099
Reiter, Raymond
13
1988
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
251
1987
Some representational issues in default reasoning. Zbl 0523.68082
Reiter, Raymond; Criscuolo, Giovanni
14
1983
Constructive arithmetics. Zbl 0523.03049
Pfender, M.; Reiter, R.; Sartorius, M.
1
1982
Readings in artificial intelligence. Zbl 0498.68054
16
1981
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
600
1980
Equality and domain closure in first-order databases. Zbl 0441.68117
Reiter, Raymond
26
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
17
1978
A semantically guided deductive system for automatic theorem proving. Zbl 0324.68052
Reiter, Raymond
7
1976
A note on linear resolution strategies in consequence-finding. Zbl 0252.68049
Minicozzi, Eliana; Reiter, Raymond
6
1972
Two results on ordering for resolution with merging and linear format. Zbl 0238.68030
Reiter, Raymond
9
1971
On assembly-line balancing problems. Zbl 0176.50101
Reiter, Raymond
2
1969
Scheduling parallel computations. Zbl 0167.16405
Reiter, Raymond
13
1968
all top 5

Cited by 871 Authors

16 Levesque, Hector J.
16 Marques-Silva, João P.
11 Thielscher, Michael
9 Belle, Vaishak
9 Eiter, Thomas
9 Herzig, Andreas
9 Lifschitz, Vladimir
8 Baral, Chitta R.
8 De Giacomo, Giuseppe
8 Ignatyev, Alexey A.
8 Lakemeyer, Gerhard
8 Schaub, Torsten H.
7 Gottlob, Georg
7 McIlraith, Sheila A.
6 Davis, Ernest
6 Dubois, Didier
6 Mencía, Carlos
6 Patrizi, Fabio
5 Ben-Eliyahu-Zohary, Rachel
5 Delgrande, James P.
5 Friedrich, Gerhard E.
5 Giordano, Laura
5 Lespérance, Yves
5 Lin, Fangzhen
5 Martelli, Alberto
5 Minker, Jack
5 Wotawa, Franz
4 Boutilier, Craig
4 Darwiche, Adnan
4 Denecker, Marc
4 Drescher, Conrad
4 Gabaldon, Alfredo
4 Lang, Jérôme
4 Marquis, Pierre
4 Mu, Kedian
4 Palopoli, Luigi
4 Peñaloza, Rafael
4 Plaisted, David Alan
4 Previti, Alessandro
4 Pulido, Belarmino
4 Reiter, Raymond
3 Amir, Eyal
3 Angiulli, Fabrizio
3 Artikis, Alexander
3 Baader, Franz
3 Brafman, Ronen I.
3 Dekhtyar, Michael I.
3 Dikovsky, Alexander Yakovlevich
3 Escobet, Teresa
3 Fink, Michael
3 Gelfond, Michael
3 Grégoire, Éric
3 Hunter, Anthony
3 Kalech, Meir
3 Kościelny, Jan Maciej
3 Lamma, Evelina
3 Lamperti, Gianfranco
3 Lisi, Francesca Alessandra
3 Lorini, Emiliano
3 Lucas, Peter J. F.
3 Lukasiewicz, Thomas
3 Makino, Kazuhisa
3 Miller, Tim
3 Monney, Paul-André
3 Nejdl, Wolfgang
3 Ouyang, Dantong
3 Papini, Odile
3 Pearce, Adrian R.
3 Pontelli, Enrico
3 Prade, Henri M.
3 Rodler, Patrick
3 Saïs, Lakhdar
3 Saribatur, Zeynep Gozen
3 Selman, Bart
3 Shen, Yidong
3 Valiev, Mars K.
3 van Benthem, Johan F. A. K.
3 van Bevern, René
3 Williams, Brian Charles
3 Zanella, Marina
2 Alonso González, Carlos J.
2 Anrig, Bernhard
2 Arif, M. Fareed
2 Aucher, Guillaume
2 Baier, Jorge A.
2 Balduccini, Marcello
2 Bartyś, Michał
2 Baumgartner, Peter
2 Bellodi, Elena
2 Ben-Eliyahu, Rachel
2 Bendík, Jaroslav
2 Benferhat, Salem
2 Bertossi, Leopoldo E.
2 Besnard, Philippe
2 Bhatt, Mehul
2 Bläsius, Thomas
2 Bogaerts, Bart
2 Bouraoui, Zied
2 Bregon, Anibal
2 Brewka, Gerhard
...and 771 more Authors
all top 5

Cited in 80 Serials

187 Artificial Intelligence
41 Annals of Mathematics and Artificial Intelligence
19 International Journal of Approximate Reasoning
17 Theoretical Computer Science
17 Journal of Applied Non-Classical Logics
15 Theory and Practice of Logic Programming
10 Journal of Applied Logic
9 Journal of Computer and System Sciences
9 Journal of Automated Reasoning
8 Discrete Applied Mathematics
8 Journal of Logic, Language and Information
7 Information Processing Letters
7 Synthese
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
6 Constraints
5 Journal of Philosophical Logic
5 Studia Logica
5 Information and Computation
4 Information Sciences
4 Journal of Computer Science and Technology
4 European Journal of Operational Research
4 The Journal of Artificial Intelligence Research (JAIR)
4 International Journal of Applied Mathematics and Computer Science
3 Computers & Mathematics with Applications
3 Automatica
3 Fuzzy Sets and Systems
3 New Generation Computing
3 Theory of Computing Systems
3 ACM Transactions on Computational Logic
3 Computational Intelligence
3 Frontiers of Computer Science
2 International Journal of Systems Science
2 Annals of Pure and Applied Logic
2 Algorithmica
2 Annals of Operations Research
2 Journal of Computer and Systems Sciences International
2 Science in China. Series E
2 European Journal of Control
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 The Journal of Logic and Algebraic Programming
2 Computer Languages, Systems & Structures
1 International Journal of General Systems
1 Journal of Soviet Mathematics
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Programming and Computer Software
1 SIAM Journal on Computing
1 Cybernetics
1 Cybernetics and Systems
1 International Journal of Production Research
1 Journal of Symbolic Computation
1 Computers & Operations Research
1 Applied Mathematics Letters
1 Mathematical and Computer Modelling
1 SIAM Journal on Discrete Mathematics
1 Neural Networks
1 AI Communications
1 Signal Processing
1 International Journal of Adaptive Control and Signal Processing
1 Computer Science in Economics and Management
1 Discrete Event Dynamic Systems
1 Applied Intelligence
1 RAIRO. Informatique Théorique et Applications
1 ZOR. Zeitschrift für Operations Research
1 Formal Methods in System Design
1 The Bulletin of Symbolic Logic
1 Complexity
1 Computational & Mathematical Organization Theory
1 Probability in the Engineering and Informational Sciences
1 Journal of Systems Science and Complexity
1 Advances in Complex Systems
1 Journal of Intelligent and Fuzzy Systems
1 Logical Methods in Computer Science
1 International Journal of Semantic Computing
1 EURASIP Journal on Advances in Signal Processing
1 Serdica Journal of Computing
1 The Review of Symbolic Logic
1 Science China. Information Sciences
1 ACM Transactions on Algorithms
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.