Teodor C. Przymusinski (przymusinski)

Beiträge zu Philosophie.ch

Bibliography

Alferes, José Júlio, Leite, J. A., Pereira, Luı́s Moniz, Przymusinska, Halina and Przymusinski, Teodor C., eds. 1996. JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996. Berlin: Springer.
Alferes, José Júlio, Leite, J. A., Pereira, Luı́s Moniz, Przymusinska, Halina and Przymusinski, Teodor C. 1998. “Dynamic Logic Programming.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 98–109. San Francisco, California: Morgan Kaufmann Publishers.
Brass, Stefan, Dix, Jürgen and Przymusinski, Teodor C. 1996. “Super Logic Programs.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 529–539. San Francisco, California: Morgan Kaufmann Publishers.
Brass, Stefan, Dix, Jürgen and Przymusinski, Teodor C. 1999. “Computation of the Semantics of Autoepistemic Belief Theories.” Artificial Intelligence 112(1–2): 233–250.
Dix, Jürgen, Pereira, Luı́s Moniz and Przymusinski, Teodor C., eds. 1995. Non-Monotonic Extensions of Logic Programming. Lecture Notes in Artifical Intelligence n. 927. Berlin: Springer.
Dix, Jürgen, Pereira, Luı́s Moniz and Przymusinski, Teodor C., eds. 1998. Logic Programming and Knowledge Representation. Berlin: Springer.
Gelfond, Michael, Przymusinska, Halina and Przymusinski, Teodor C. 1989. “On the Relationship between Circumscription and Negation as Failure.” Artificial Intelligence 38(1): 75–94.
Przymusinski, Teodor C. 1988. “On the Declarative Semantics of Deductive Databases and Logic Programs.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 193–216. San Francisco, California: Morgan Kaufmann Publishers.
Przymusinski, Teodor C. 1989a. “An Algorithm to Compute Circumscription.” Artificial Intelligence 38(1): 49–73.
Przymusinski, Teodor C. 1989b. “Three-Valued Formalizations of Non-Monotonic Reasoning and Logic.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 341–348. San Francisco, California: Morgan Kaufmann Publishers.
Przymusinski, Teodor C. 1991. “Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs.” Artificial Intelligence 49(1–3): 309–343.
Przymusinski, Teodor C. 1997. “Autoepistemic Logic of Knowledge and Beliefs.” Artificial Intelligence 95(1): 115–154.
Przymusinski, Teodor C. and Turner, Hudson. 1997. “Update by Means of Inference Rules.” Journal of Logic Programming 30(2): 125–143.