Jürgen Dix (dix-j)
Contributi a 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.
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.
Brewka, Gerhard and Dix, Jürgen. 2005. “Knowledge Representation with Logic Programs.” in Handbook of Philosophical Logic, Volume XII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–85. Dordrecht: Springer.
Brewka, Gerhard, Dix, Jürgen and Konolige, Kurt. 1997. Nonmonotonic Reasoning: An Overview. Stanford, California: CSLI Publications.
Dix, Jürgen. 1991. “Cumulativity and Rationality in Semantics of Normal Logic Programs.” in Nonmonotonic and Inductive Logics, edited by Jürgen Dix, Klaus P. Jantke, and Peter H. Schmidt, pp. 13–37. Berlin: Springer.
Dix, Jürgen. 1992. “A Framework for Representing and Characterizing Semantics of Logic Programs.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 591–602. San Francisco, California: Morgan Kaufmann Publishers.
Dix, Jürgen. 1995. “A Classification Theory of Semantics of Normal Logic Programs II: Weak Properties.” Fundamenta Mathematicae 22(3): 257–288.
Dix, Jürgen. 1996. “Semantics of Logic Programs: Their Intuitions and Formal Properties, An Overview.” in Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence, edited by André Fuhrmann and Hans Rott, pp. 241–327. Berlin: de Gruyter.
Dix, Jürgen, Fariñas del Cerro, Luis and Furbach, Ulrich, eds. 1998. JELIA’98. Logics in Artificial Intelligence European Workshop, Dagstuhl, Germany, October 12-15, 1998. Berlin: Springer.
Dix, Jürgen, Jantke, Klaus P. and Schmidt, Peter H., eds. 1991. Nonmonotonic and Inductive Logics. Berlin: Springer.
Dix, Jürgen, Kraus, Sarit and Subramanian, V. S. 2001. “Temporal Agent Programs.” Artificial Intelligence 127(1): 87–135.
Dix, Jürgen and Makinson, David C. 1992. “The Relationship between KLM and MAK Models for Nonmonotonic Inference Operations.” Journal of Logic, Language, and Information 1(2): 131–140.
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.