Wictor W. Marek (marek-ww)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Apt, Krzysztof R., Marek, Wictor W., Truszczyński, Marek and Warren, David S., eds. 1999. The Logic Programming Paradigm: A Twenty-Five Year Perspective. Berlin: Springer.
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.
Ehrenfeucht, Andrzej, Marek, Wictor W. and Srebrny, Marian, eds. 2008. Andrzej Mostowski and Foundational Studies. Amsterdam: IOS Press.
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.
Ershov, Yu. L., Goncharov, S. S., Nerode, Anil, Remmel, J. B. and Marek, Wictor W., eds. 1998a. Handbook of Recursive Mathematics, volume 1: Recursive Model Theory. Studies in Logic and the Foundations of Mathematics n. 138. Amsterdam: North-Holland Publishing Co.
Ershov, Yu. L., Goncharov, S. S., Nerode, Anil, Remmel, J. B. and Marek, Wictor W., eds. 1998b. Handbook of Recursive Mathematics, volume 2: Recursive Algebra, Analysis and Combinatorics. Studies in Logic and the Foundations of Mathematics n. 139. Amsterdam: North-Holland Publishing Co.
Hájek, Petr, Marek, Wictor W. and Vopěnka, Petr. 2008. “Mostowski and Czech-Polish Cooperation in Mathematical Logic.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 403–405. Amsterdam: IOS Press.
Marek, Wictor W. 1987. “Basic Properties of Knowledge Base Systems.” in The Knowledge Frontier. Essays in the Representation of Knowledge, edited by Nick Cercone and Gordon I. McCalla, pp. 137–160. Berlin: Springer.
Marek, Wictor W. 2008. “Mathematical Logic in Warsaw in the 60’s and 70’s, or the Interaction of Logic.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 15–29. Amsterdam: IOS Press.
Marek, Wictor W. and Nerode, Anil. 1980. “Decision Procedures for Default Logic.” Unpublished manuscript, Department of Mathematics, Cornell University.
Marek, Wictor W., Nerode, Anil and Truszczyński, Marek, eds. 1995. Logic Programming and Nonmonotonic Reasoning. Berlin: Springer.
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.
Further References
Lifschitz, Vladimir, ed. 1990. Formalizing Common Sense: Papers by John McCarthy. Norwood, New Jersey: Ablex Publishing Co.