Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/przymusinska

Halina Przymusinska (przymusinska)

Beiträge zu Philosophie.ch

No contributions yet

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.
    Gelfond, Michael, Lifschitz, Vladimir, Przymusinska, Halina and Schwartz, Grigori. 1994. Autoepistemic Logic and Introspective Circumscription.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 197–207. San Francisco, California: Morgan Kaufmann Publishers.
    Gelfond, Michael and Przymusinska, Halina. 1986. Negation as Failure: Careful Closure Principle.” Artificial Intelligence 30(3): 273–287.
    Gelfond, Michael and Przymusinska, Halina. 1989. Inheritance Reasoning in Autoepistemic Logic.” in Methodologies for Intelligent Systems: Proceedings of the Fourth International Symposium, edited by Zbigniew Raś, pp. 419–429. Amsterdam: North-Holland Publishing Co.
    Gelfond, Michael and Przymusinska, Halina. 1990. Formalization of Inheritance Reasoning in Autoepistemic Logic.” Fundamenta Informaticae 13: 403–443.
    Gelfond, Michael and Przymusinska, Halina. 1995. Reasoning in Open Domains.” in Logic Programming and Nonmonotonic Reasoning, edited by Wictor W. Marek, Anil Nerode, and Marek Truszczyński. Berlin: Springer.
    Gelfond, Michael and Przymusinska, Halina. 1996. Towards a Theory of Elaboration Tolerance: Logic Programming Approach.” Journal on Software and Knowledge Engineering 6(1): 89–112.
    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.
    Gelfond, Michael, Przymusinska, Halina and Przymusinski, Teodor C. 1989. On the Relationship between Circumscription and Negation as Failure.” Artificial Intelligence 38(1): 75–94.
    Przymusinska, Halina. 1988. The Embeddability of Hierarchic Autoepistemic Logic in Autoepistemic Logic.” Unpublished manuscript, University of Texas at El Paso.