Scholarly and Creative Activities Directory

Marek A. Suchenek, Ph.D.

Title: Professor, Department of Computer Science

Department: Computer Science

Office: NSM A-131
Phone Extension: x2068
Email Username: suchenek

Show All    Publications: Books    Refereed Journal Articles    Other Refereed Publications    Non-refereed publications    Reviews    Presentations    Grants    Awards and Honors    


  • Review of the book:  G. Antoniou, "Nonmonotonic Reasoning", The MIT Press (Cambridge - London 1997), in Bulletin of Symbolic Logic 6/4 (2000), pp 484-490.
  • Review of the book:  M. R. Genesereth, N. J. Nilson, "Logical Foundations of Artificial Intelligence" (co-author: James H. Thomas), Morgan Kaufmann Publ. (Los Altos CA, 1987), in Mathematical Reviews (1990 e), rev. no. 90e:68001, pp 2920-2921.
  • Review of the paper:  M. L. Ginsberg, "Counterfactuals", Artificial Intelligence 30 (1986), pp. 35-79, in Zentralblatt für Mathematik 655 (1989), rev. no. 03011, pp 13-14.
  • Review of the paper:  S. Hank, D. McDermott, "Nonmonotonic logic and temporal projection", Artificial Intelligence 33 (1987), pp. 379-412, in Zentralblatt für Mathematik 654 (1989), rev. no. 68107, pp 374-375.
  • Review of the paper:  D.W. Etherington, "Formalizing non-monotonic reasoning systems", Artificial Intelligence 31 (1987), pp. 41-85, in Zentralblatt für Mathematik 638(1988), rev. no. 68100, p. 376.
  • Review of the book:  R. Murawski, "Philosophy of Mathematics - An Anthology of Classic Texts", Polish Scientific Publishers ( Warsaw 1986), in Zentralblatt für Mathematik 616(1987), rev. no. 00021, p. 4.
  • Review of the paper:  R.C. Moore, "Semantical considerations on nonmonotonic logic", Artificial Intelligence 25 (1985), pp. 75-94, in Zentralblatt für Mathematik 569 (1986), rev. no. 68079, pp. 333-334.
  • Review of the paper:  G. Bossu, P. Siegel, "Saturation, nonmonotonic reasoning and the closed-world assumption", Artificial Intelligence 25 (1985), pp. 13-63, in Zentralblatt für Mathematik 569 (1986), rev. no. 68078, pp. 332-333.
  • Review of the book: J.P. Roth, "Computer logic, testing and verification", in Zentralblatt für Mathematik 429 (1980), rev. no. 94028, pp. 570-573.

Back to Menu