Edit Profile (opens in new tab) Reiter, Raymond Co-Author Distance Author ID: 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 all top 5 Co-Authors 15 single-authored 4 Mackworth, Alan K. 3 Levesque, Hector J. 2 Barstow, David R. 2 Bertossi, Leopoldo E. 2 Gallaire, Hervé 2 Lespérance, Yves 2 Nilsson, Nils J. 2 Webber, Bonnie Lynn 1 Amarel, Saul 1 Berliner, Hans Jack 1 Bledsoe, Woodrow W. 1 Boden, Margaret A. 1 Brachman, Ronald J. 1 Buchanan, Bruce G. 1 Chamot, D. 1 Chang, Chinliang 1 Clark, Keith L. 1 Cohen, Paul R. 1 Colmerrauer, A. 1 Colombetti, Marco 1 Cook, S. B. 1 Criscuolo, Giovanni 1 Darvas, Felix 1 Davis, Randall 1 de Kleer, Johan 1 Duchin, Faye 1 Duda, Richard O. 1 Erman, L. 1 Feigenbaum, Edward Albert 1 Fikes, Richard E. 1 Futo, Ivan 1 Gaschnig, John G. 1 Gazdar, Gerald J. M. 1 Green, Louis C. 1 Guiho, Gérard D. 1 Hart, Peter E. 1 Hayes-Roth, Frederick 1 Hayes, Patrick J. 1 Kay, A. C. 1 Kellog, C. 1 King, J. J. 1 Klahr, P. 1 Kowalsky, R. 1 Lesser, Victor R. 1 Lin, Fangzhen 1 Manna, Zohar 1 McCarthy, John 1 Minicozzi, Eliana 1 Minker, Jack 1 Mylopoulos, John 1 Nicolas, Jean-Marie 1 Paolini, Paolo 1 Pelagatti, Giuseppe 1 Perrault, C. Raymond 1 Pfender, Michael 1 Pinto, Javier A. 1 Pirri, Fiora 1 Pirrotte, A. 1 Rosenschein, Stanley J. 1 Samuel, Arthur L. 1 Sartorius, M. 1 Scherl, Richard B. 1 Shortliffe, Edward H. 1 Slagle, James R. 1 Stefik, Mark 1 Szeredi, Péter 1 Tärnlund, Sten-Åke 1 Waldinger, Richard J. 1 Weyhrauch, Richard W. 1 Wilkins, David C. 1 Yazdanian, K. 1 Zifonum, G. all top 5 Serials 6 Artificial Intelligence 3 Journal of the Association for Computing Machinery 3 The Journal of Logic Programming 1 Computers & Mathematics with Applications 1 IEEE Transactions on Computers 1 Information Sciences 1 Operations Research 1 Annales Societatis Mathematicae Polonae. Series IV 1 Annals of Mathematics and Artificial Intelligence all top 5 Fields 27 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Geometry (51-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 16 Fields 524 Computer science (68-XX) 136 Mathematical logic and foundations (03-XX) 30 Systems theory; control (93-XX) 28 Operations research, mathematical programming (90-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Information and communication theory, circuits (94-XX) 11 Combinatorics (05-XX) 6 Biology and other natural sciences (92-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 3 History and biography (01-XX) 3 Statistics (62-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.