Patrick Simons (simons-pa)

Contributi a Philosophie.ch

Bibliography

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 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).