Edit Profile (opens in new tab) Stallman, Richard M. Compute Distance To: Compute Author ID: stallman.richard-m Published as: Stallman, Richard M.; Stallman, R. M. Documents Indexed: 1 Publication since 1977 1 Further Contribution Co-Authors: 1 Co-Author with 2 Joint Publications 18 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Sussman, Gerald Jay 1 Brown, Richard Henry 1 de Kleer, Johan 1 Fahlman, Scott E. 1 Goldstein, I. P. 1 Marcus, Mitchell P. 1 Miller, Matt L. 1 Minsky, Marvin Lee 1 Rich, Charles 1 Shrobe, Howard E. 1 Sidner, Candace L. 1 Stansfield, J. L. 1 Steele, Guy Lewis jun. 1 Winston, Patrick Henry Serials 1 Artificial Intelligence Fields 1 General and overarching topics; collections (00-XX) 1 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 54 times in 53 Documents Cited by ▼ Year ▼ Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024Stallman, Richard M.; Sussman, Gerald J. 53 1977 Artificial intelligence: an MIT perspective. Vol. 1: Expert problem solving; natural language understanding; intelligent computer coaches; representation and learning. Zbl 0495.68079 1 1979 Artificial intelligence: an MIT perspective. Vol. 1: Expert problem solving; natural language understanding; intelligent computer coaches; representation and learning. Zbl 0495.68079 1 1979 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024Stallman, Richard M.; Sussman, Gerald J. 53 1977 all cited Publications top 5 cited Publications all top 5 Cited by 93 Authors 3 Berthold, Timo 3 Dechter, Rina 3 Witzig, Jakob 2 Hamadi, Youssef 2 Heinz, Stefan 2 Jabbour, Said 2 Marques-Silva, João P. 2 McDermott, Drew V. 2 Saïs, Lakhdar 2 Selman, Bart 2 Williams, Brian Charles 1 Achterberg, Tobias 1 Bhalla, Ateet 1 Billingsley, William 1 Bradley, Elizabeth 1 Brokowski, M. 1 Bruni, Renato 1 Büttner, Wolfram 1 Bugalho, Miguel 1 Davis, Randall 1 de Sousa, José T. 1 Domenjoud, Eric 1 Doyle, Jon 1 Elkan, Charles 1 Estenfeld, Klaus 1 Everett, J. O. 1 Forbus, Kenneth D. 1 Frost, Daniel 1 Genesereth, Michael R. 1 Graf, Thomas 1 Hao, Xingxing 1 Hooker, John N. jun. 1 Howe, Jacob M. 1 Jégou, Philippe 1 Jing, Han 1 Kambhampati, Subbarao 1 Kasif, Simon 1 Kautz, Henry A. 1 Kean, Alex 1 Kılınç Karzan, Fatma 1 King, Andy 1 Kirchner, Claude 1 Li, Chendong 1 Liu, Jiming 1 Liu, Jing 1 Loveland, Donald W. 1 Lynce, Inês 1 Malik, Sharad 1 Marcus, Sandra 1 Marisetti, Satyanarayana 1 McDermott, John P. J. 1 Meiri, Itay 1 Morris, Paul H. 1 Nemhauser, George L. 1 Olarte, Carlos 1 Oliveira, Arlindo L. 1 Pazzani, Michael J. 1 Pearl, Judea 1 Philipp, Tobias 1 Pradelles-Lasserre, C. 1 Prestwich, Steven D. 1 Puranik, Yash 1 Ragno, Robert J. 1 Reif, John H. 1 Robinson, Peter 1 Rueda, Camilo 1 Rutenburg, Vladislav 1 Sabharwal, Ashish 1 Sahinidis, Nikolaos V. 1 Sandewall, Erik 1 Savelsbergh, Martin W. P. 1 Schmid, Richard 1 Schneider, Hans-Albert 1 Segerlind, Nathan 1 Shapiro, Stuart Charles 1 Sherlekar, Deepak D. 1 Shrobe, Howard E. 1 Simmons, Reid G. 1 Smith, David E. 1 Stahovich, Thomas F. 1 Stolle, Reinhard 1 Tang, Yuanyan 1 Terrioux, Cyril 1 Tidén, Erik 1 Ureel, L. 1 Valencia, Frank D. 1 Van Hentenryck, Pascal 1 Whalley, P. B. 1 Yap, Roland H. C. 1 Zhang, Hantao 1 Zhang, Yuanlin 1 Zhou, Jianyang 1 Zimmer, Laurent all top 5 Cited in 18 Serials 19 Artificial Intelligence 4 Computers & Mathematics with Applications 3 Discrete Applied Mathematics 2 Journal of Automated Reasoning 2 Annals of Mathematics and Artificial Intelligence 2 Constraints 2 Mathematical Programming Computation 1 Annals of Operations Research 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Pattern Recognition 1 Applicable Algebra in Engineering, Communication and Computing 1 The Bulletin of Symbolic Logic 1 International Transactions in Operational Research 1 INFORMS Journal on Computing 1 Soft Computing 1 Theory and Practice of Logic Programming 1 4OR 1 Discrete Optimization all top 5 Cited in 6 Fields 43 Computer science (68-XX) 12 Operations research, mathematical programming (90-XX) 3 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year