| Code, Nr | Citation |
|---|---|
1 | ucl12.ps Research papers by Hudson TurnerH. Turner, " A logic of universal causation ." Draft of paper to appear in Artificial Intelligence Journal , 1998. |
2 | sat15.ps N. McCain and H. Turner, " Satisfiability planning with causal theories ," in Proceedings of KR98 (KR98), 1998. (An earlier version was presented at the AAAI97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997.) |
3 | nestedlp.ps V. Lifschitz, L.R. Tang and H. Turner, " Nested expressions in logic programs ." Submitted, 1998. |
4 | ct20.ps N. McCain and H. Turner, " Causal theories of action and change ," in Proceedings of AAAI-97 (AAAI97), 1997. AAAI |
5 | ralpdt6.ps H. Turner, " Representing actions in logic programs and default theories: A situation calculus approach ," in Journal of Logic Programming , Vol. 31, No. 1-3, pp. 245-298, 1997. (An earlier, abridged version of this paper appeared in Working Papers of the Third Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense96), 1996.) |
6 | update.ps T. Przymusinski and H. Turner, " Update by means of inference rules ," in Journal of Logic Programming , Vol. 30, No. 2, pp. 125-143, 1997. (An earlier version of this paper appeared in Proceedings of the Third International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR95), pp. 156-174, 1995.) |
7 | sd6.ps H. Turner, " Splitting a default theory ," in Proceedings of AAAI-96 (AAAI96), pp. 645-651, 1996. AAAI |
8 | ijcai95.ps N. McCain and H. Turner, " A causal theory of ramifications and qualifications ," in Proceedings of the Fourteenth International Conference on Artifical Intelligence (IJCAI95), pp. 1978-1984, 1995. IJCAI |
9 | abduction.ps V. Lifschitz and H. Turner, " From disjunctive programs to abduction ," in Non-Monotonic Extensions of Logic Programming (Springer-Verlag Lecture Notes in Artificial Intelligence 927) , pp. 23-42, 1995. |
10 | ilps94.ps H. Turner, " Signed logic programs ," in Logic Programming: Proceedings of the 1994 International Symposium (ILPS94), pp. 61-75, 1994. |
11 | iclp94b.ps N. McCain and H. Turner, " Language independence and language tolerance in logic programs ," in Proceedings of the Eleventh International Conference on Logic Programming (ICLP94), pp. 38-57, 1994. |
12 | iclp94a.ps V. Lifschitz and H. Turner, " Splitting a logic program ," in Proceedings of the Eleventh International Conference on Logic Programming (ICLP94), pp. 23-37, 1994. |
13 | iclp93.ps H. Turner, " A monotonicity theorem for extended logic programs ," in Proceedings of the Tenth International Conference on Logic Programming (ICLP93), pp. 567-585, 1993. |
14 | NIL Hudson's home page |
15 | NIL |