Miroslaw Truszczynski (truszczynski-m)

Contributions à Philosophie.ch

Bibliography

Brewka, Gerhard, Niemelä, Ilkka and Truszczynski, Miroslaw. 2008. “Preferences and Nonmonotonic Reasoning.” The AI Magazine 29(4): 69–78.
Cholewiński, Paweł, Marek, Wictor W. and Truszczynski, Miroslaw. 1996. “Default Reasoning System DeReS.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 518–528. San Francisco, California: Morgan Kaufmann Publishers.
Cholewiński, Paweł, Mikitiuk, Artur, Marek, Wictor W. and Truszczynski, Miroslaw. 1999. “Computing with Default Logic.” Artificial Intelligence 112(1–2): 105–146.
Deneker, Marc, Marek, Wictor W. and Truszczynski, Miroslaw. 2000a. “Uniform Semantic Treatment of Default and Autoepistemic Logics.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 74–84. San Francisco, California: Morgan Kaufmann Publishers. Republished as Deneker, Marek and Truszczynski (2003).
Deneker, Marc, Marek, Wictor W. and Truszczynski, Miroslaw. 2000b. “Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 127–144. Dordrecht: Kluwer Academic Publishers.
Deneker, Marc, Marek, Wictor W. and Truszczynski, Miroslaw. 2002. “Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 177–188. San Francisco, California: Morgan Kaufmann Publishers.
Deneker, Marc, Marek, Wictor W. and Truszczynski, Miroslaw. 2003. “Uniform Semantic Treatment of Default and Autoepistemic Logics.” Artificial Intelligence 143(1): 79–122.
Engelfriet, Joeri, Marek, Wictor W., Treur, Jan and Truszczynski, Miroslaw. 1996. “Infinitary Default Logic for Specification of Nonmonotonic Reasoning.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 224–236. Berlin: Springer.
Gelfond, Michael, Przymusinska, Halina, Lifschitz, Vladimir and Truszczynski, Miroslaw. 1991. “Disjunctive Defaults.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 230–237. San Francisco, California: Morgan Kaufmann Publishers.
Marek, Wictor W., Shvarts, Grigori F. and Truszczynski, Miroslaw. 1991a. “Ranges of Strong Modal Nonmonotonic Logics.” in Nonmonotonic and Inductive Logics, edited by Jürgen Dix, Klaus P. Jantke, and Peter H. Schmidt, pp. 85–99. Berlin: Springer.
Marek, Wictor W., Shvarts, Grigori F. and Truszczynski, Miroslaw. 1991b. “Modal Nonmonotonic Logics: Ranges, Characterization, Computation.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 395–404. San Francisco, California: Morgan Kaufmann Publishers. Republished as Marek, Shvarts and Truszczynski (1993).
Marek, Wictor W., Shvarts, Grigori F. and Truszczynski, Miroslaw. 1993. “Modal Nonmonotonic Logics: Ranges, Characterization, Computation.” Journal of the Association for Computing Machinery 40(4): 963–990.
Marek, Wictor W. and Truszczynski, Miroslaw. 1989a. “Relating Autoepistemic and Default Logics.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 276–288. San Francisco, California: Morgan Kaufmann Publishers.
Marek, Wictor W. and Truszczynski, Miroslaw. 1989b. “Stable Semantics for Logic Programs and Default Theories.” Unpublished manuscript, University of Kentucky.
Marek, Wictor W. and Truszczynski, Miroslaw. 1990. “Modal Logic for Default Reasoning.” Unpublished manuscript, University of Kentucky.
Marek, Wictor W. and Truszczynski, Miroslaw. 1991. “Autoepistemic Logic.” Journal of the Association for Computing Machinery 38(3): 588–619.
Marek, Wictor W. and Truszczynski, Miroslaw. 1994a. Nonmonotonic Logic: Context-Dependent Reasoning. Berlin: Springer.
Marek, Wictor W. and Truszczynski, Miroslaw. 1994b. “Revision Specifications by Means of Programs.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 122–136. Lecture Notes in Computer Science. Berlin: Springer.
Mikitiuk, Artur and Truszczynski, Miroslaw. 1995. “Constrained and Rational Default Logics.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1509–1515. San Francisco, California: Morgan Kaufmann Publishers.