Marek A. Suchenek, Ph.D.

1. Education (post-secondary)

---

2. Academic Experience (1979 - present)

---

3. Service 

---

A. Administrative

B. Honorary

C. Other Professional

4. Honors, Scholarships and Awards  

---

5. Major Research Support  (excluding Summer and intramural grants) 

---

Goto TOP

6. Dissertations 

---

1. Ph.D. "Notes on Computational Logic."
2. M.Sc. "Design and Implementation of Macroassembler for Minicomputer UMC-20 (PDP-11 comparable)."

7. Publications 

---

A. Books

1. "FORTRAN for advanced programmers," (textbook in Polish, co-author: Jan Bielecki) Polish Scientific Publishers (Warsaw 1981 [1st edition], 1983 [2nd edition], and 1988 [3rd edition]).
2. "ANSI FORTRAN," (textbook in Polish, co-author: Jan Bielecki) Publishing House of Warsaw University of Technology (Warsaw 1980).

B. Journal Articles (Peer Refereed)

1. "On Undecidability of Non-monotonic Logic," Studia Informatica 1/2(7) (2006), pp 127--132.
2. "Evaluation of Queries under the Closed-World Assumption II: The Hierarchical Case," Journal of Automated Reasoning 25 (2000), pp 247--289.
3. "Evaluation of Queries under the Closed-World Assumption I," Journal of Automated Reasoning 18 (1997), pp 357--398.
4. "Preservation Properties in Deductive Data Bases," Methods of Logic in Computer Science: An International Journal 1 (1995), pp 315--338. To view this article, please choose your format: HTML, PDF, or PS.
5. "First-order syntactic characterizations of minimal entailment, domain minimal entailment, and Herbrand entailment," Journal of Automated Reasoning 10 (1993), pp 237--263.
6. "Partial correctness without actual infinity," Studia Scientiarum Mathematicarum Hungarica 27 (1992), pp 159--167.
7. "On negative information in deductive databases," an invited paper (co-author: Rajshekhar Sunderraman), Journal of Database Administration 1 (1990), pp 28--41.
8. "Applications of Lyndon Homomorphism Theorems to the theory of minimal models," International Journal of Foundations of Computer Science 1 (1990), pp 49--59.
9. "Non-invasive testing of real-time avionics microprocessor systems" (co-authors: Xitong Zheng and Golam Sarwar), Microprocessing and Microprogramming, The Euromicro Journal 27 (1989), pp 665--672.
10. "Two applications of model-theoretic forcing to Lipski's model of data base with incomplete information" Fundamenta Informaticae 12 (1989) pp 269--288.
11. "Compactness in logic of programs," Colloquia Mathematica Societatis Janos Bolyai 42 (1985), pp 803--810.
12. "Effective logic of programming language," Computational Linguistics and Computer Languages 15 (1982), pp. 249--264.

C. Other Peer Refereed Publications

1. "Sound and Complete Propositional Nonnonotonic Logic of Hierarchically-Minimal Models," in Proceedings of the Intelligent Information Systems 2000 Symposium, Bystra, Poland, June 12-16, 2000, Advances in Soft Computing, Physica-Verlag (2000) pp. 193-205.
2. "Mesh Models of Knowledge in Distributed Systems," (co-author: Henrietta Okeke), in Proceedings of the Euromicro Workshop on Parallel and Distributed Processing, Gran Canaria, January 27 - 29, 1993, IEEE Computer Society Press (1993), pp 113--120.
3. "Test, measurement, and validation of MIL-STD-1553B bus related software" (co-authors: Xitong Zheng and Golam Sarwar), to appeal in FAA Digital Systems Validation Handbook.
4. "Minimal models for closed world databases with views" (co-author: Rajshekhar Sunderraman), in Methodologies for Intelligent Systems, 5, Z. W. Ras, M. Zemankova, Mary L. Emrich (eds.), North-Holland (1990), pp 182--192.
5. "Incremental models of updating data bases," in Proceedings of Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames IA, June 1-4, 1988, Lecture Notes in Computer Science 425, Springer-Verlag (1990), pp 243--271.
6. "A syntactic characterization of minimal entailment," in Logic Programming, Proceedings of the North American Conference 1989, Ewing L. Lusk, and Ross A. Overbeek (eds.), The MIT Press (1989), pp 81--91.
7. "Minimal models for closed world data bases," in Methodologies for Intelligent Systems, 4, Zbigniew W. Ras (ed.), North-Holland (1989), pp 515--522.
8. "Forcing versus Closed World Assumption," in Methodologies for Intelligent Systems, 2, Z.W. Ras, M. Zemankova (eds.), North-Holland (1987), pp 453--460.
9. "On proving properties of concurrent programs," Mathematical Models in Computer Systems, M. Arato, L. Varga (editors), Publishing House of the Hungarian Academy of Sciences (Budapest 1981), pp. 97--109.

D. Presentations (not listed elsewhere)

1. "Complete Non-monotonic Autoepistemic Logic," presented at Logic in Hungary, Budapest, Hungary, August 5 - 10, 2005.
2. "On Asymptotic Computability," presented at  Computer Science and Mathematics Seminar, California State University Dominguez Hills,
   Carson, California, Fall 2004.
3. "On Asymptotic Decidability of Some Problems Related to Artificial Intelligence," presented at AMS 2003 Spring Western Section Meeting, Special Session on Beyond Classical Boundaries of Computability III, San Francisco, CA, May 3-4, 2003.
4. "Kripke Semantics for Nonmonotonic Modal Logic," presented at Joint Computer Science and Mathematics Seminar, California State University Dominguez Hills, Carson, California, October 14, 2002.
5. "Nonmonotonic Logic of Public Knowledge in Distributed Systems," presented at the Institute for Computer Science Seminar, Warsaw University of Technology, Warsaw, Poland, June 7, 2000.
6. "Nonmonotonic Logic for Reasoning from Ignorance," presented at the Institute of Foundations of Computer Science Seminar, Polish Academy of Sciences, Warsaw, Poland, December 9, 1999.
7. "Graph Semantics vs. Tree Semantics for Common Knowledge in Distributed Systems," presented at the 28th Southeastern Int'l Conference on Combinatorics, Graph Theory, and Computing, Boca Raton, Florida, March 3 - 7, 1997
8. "Indefinite Models and Parallel Positive Resolution for Disjunctive Stratified Logic Programs," presented at the 6^thInternational Workshop on Nonmonotonic Reasoning, Timberline, June 9 - 12, 1996, also in the Proceedings of the Workshop, pp 123--131.
9. "Preservation Properties in Nonmonotonic Logics," presented at UCLA Logic Colloquium, Los Angeles, California, April 22, 1994.
10. "Alternative Computations of Minimal Consequences in Indefinite Deductive Data Bases," presented at 2^nd Workshop on Structural Complexity and Recursion-theoretic Methods in Logic Programming, International Symposium on Logic Programming, Vancouver, British Columbia, October 29, 1993.
11. "Calculating Kripke models for distributed systems" (co-author: Henrietta Okeke), presented at 3rd Annual Artificial Intelligence Symposium, Long Beach, June 18 - 19, 1992, also in Proceedings of the 3rd Annual Artificial Intelligence Symposium, California State University (1992), pp 69--78.
12. "On Applications of Model-Theoretic Forcing to the Theory of Minimal Models," presented at UCLA Logic Colloquium, Los Angeles, California, May 22, 1992.
13. "Sieves of Eratosthenes, Kripke Models, and Distributed Knowledge Bases," an invited address, presented at 3^rd Annual Ulam Mathematics Conference, West Palm Beach, Florida, March 19 - 20, 1992.
14. "On reasoning from closed world data bases with disjunctive views" (co-author: Rajshekhar Sunderraman), presented at Workshop on Logic Programming and Nonmonotonic Logic, Austin, November 1 - 2, 1990, also in Proceedings of the Workshop on Logic Programming and Nonmonotonic Logic, North American Conference on Logic Programming (1990), pp 132--149.
15. "Homomorphisms in Semantics of Deductive Data Bases," presented at Conference on Algebraic Logic in Honor of Don Monk, Boulder, Colorado, May 28 - June 1, 1990.
16. "A Syntactic Characterization of Transitive Closures," presented at The Inaugural Conference of the Ulam Quarterly, West Palm Beach, Florida, February 17 - 19, 1990.
17. "Software diagnosing in circumstances of incomplete information," presented at XV AIAA Technologyfest, Wichita, November 10 - 12, 1988.
18. "Negation as sure failure," presented at Workshop on Categorical Aspects of Data Flow Analysis, Manhattan, May 23 - 26, 1988.
19. "On generalizations of the closed world assumption in deductive data bases," presented at Fourth Southeastern Logic Symposium, Columbia, March 24 - 25, 1988.
20. "Forcing in Artificial Intelligence," presented at the Third Southeastern Logic Symposium, Charleston, March 7, 1987.
21. "Non-monotonic derivations which preserve pragmatic truth," presented at International Symposium on Methodologies for Intelligent Systems, Knoxville, October 1996, also in Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, Colloquia Program, Zemankova M., Emrich M. L. (editors), ORNL-6362 (Oak Ridge National Laboratory 1987), pp 69--74.
22. "On asymptotic decidability of model-theoretic forcing," presented at Fourth Hungarian Computer Science Conference, Gyor, July 8 - 10, 1985.
23. "Gamma-meaningful theories vs. partial correctness of programs," presented at Colloquium on Computation Theory, Poznan, June 25 - 29, 1984.
24. "Forcing treatment of incomplete information in databases," presented at International Symposium on Model Theory in Foundations of Computer Science, Budapest, September 10 - 14, 1984.
25. "Compactness problems in defining semantics," short communication at International Congress of Mathematicians, Section I: Mathematical Logic and the Foundations of mathematics, Warsaw, August 16 - 24, 1983.

E. Non-refereed Publications

1. "Sequence Semantics for Doxastic Logic", (with Victor W. Marek).
2. "Minimal Perimeters of Tiled Areas", January 31, 2007.
3. "Letter to the Bookshelf: Abel's Proof", American Scientist Online, The Magazine of Sigma Xi, The Scientific Research Society (2003).
4. "Election 2000: A Probability Theory Argument That Settles the Presidential Contest", Keep and Bear Arms (2000).
5. "Technical Correspondence: A Brilliant Example" , Communications of the A.C.M. 32/9 (1989), pp 1132--1133.
6. "Floyd-Hoare implication is not uniformly axiomatizable within non-standard dynamic logic," Research Reports 59/83, Institute of Computer Science, Warsaw University of Technology (Warsaw 1983).
7. "On pragmatic semantics of programming languages," Research Reports 57/83, Institute of Computer Science, Warsaw University of Technology (Warsaw 1983).
8. "On first-order logics of programs," Proceedings of 15th Annual Conference on Information Sciences and Systems, G. G. L. Meyer, W. J. Rugh (editors), John Hopkins University (Baltimore 1981), pp. 100--103.
9. "On axiomatizations of semantics of programming languages," Research Reports 32/81, Institute of Computer Science, Warsaw University of Technology (Warsaw 1981).
10. "A critique of Polish Standard of programming language FORTRAN" (in Polish), Research Reports 22/81, Institute of Computer Science, Warsaw University of Technology (Warsaw 1981).

F. Reviews

1. Review of the book: G. Antoniou, "Nonmonotomic Reasoning", Artificial Intelligence Series, The MIT Press (1997), in Bulletin of Symbolic Logic (2000), pp. 484--490.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.

8. Research and Interest

---

• Nonmonotonic logics and their model theories;
• Reasoning about distributed knowledge;
• Deductive databases and logic programming;
• Theoretical Computer Science;
• Discrete Mathematics;
• Ethics and deontic logic;
• Computational thinking.
  

9. Avocations 

---

Goto TOP