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

Ilkka Niemelä (niemelae)

Contributions à Philosophie.ch

No contributions yet

Bibliography

    Brass, Stefan, Dix, Jürgen, Niemelä, Ilkka and Przmusinski, Teodor C. 1998. A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 74–85. San Francisco, California: Morgan Kaufmann Publishers.
    Brewka, Gerhard, Niemelä, Ilkka and Truszczynski, Miroslaw. 2008. Preferences and Nonmonotonic Reasoning.” The AI Magazine 29(4): 69–78.
    Janhunen, Tomi, Niemelä, Ilkka, Simons, Patrick and You, Jia-Huan. 2000. Unfolding Partiality and Disjunctions in Stable Model Semantics.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 411–419. San Francisco, California: Morgan Kaufmann Publishers.
    Niemelä, Ilkka. 1994. A Decision Method for Nonmonotonic Logic Based on Autoepistemic Reasoning.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 473–484. San Francisco, California: Morgan Kaufmann Publishers.
    Niemelä, Ilkka. 1995. Towards Efficient Default Reasoning.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 312–318. San Francisco, California: Morgan Kaufmann Publishers.
    Niemelä, Ilkka and Rintanen, Jussi. 1992. On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 627–638. San Francisco, California: Morgan Kaufmann Publishers.
    Niemelä, Ilkka and Simons, Patrick. 2000. Extending the Smodels System with Cardinality and Weight Constraints.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 491–521. Dordrecht: Kluwer Academic Publishers.
    Simons, Patrick, Niemelä, Ilkka and Soininen, Timo. 2002. Extending and Implementing the Stable Model Semantics.” Artificial Intelligence 138(1–2).