Marc Deneker (deneker)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
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.