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.)
V. Lifschitz, L.R. Tang and H. Turner, "Nested expressions in logic programs." Submitted, 1998.
N. McCain and H. Turner, "Causal theories of action and change," in Proceedings of AAAI-97 (AAAI97), 1997. AAAI
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.)
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.)
H. Turner, "Splitting a default theory," in Proceedings of AAAI-96 (AAAI96), pp. 645-651, 1996. AAAI
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
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.
H. Turner, "Signed logic programs," in Logic Programming: Proceedings of the 1994 International Symposium (ILPS94), pp. 61-75, 1994.
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.
V. Lifschitz and H. Turner, "Splitting a logic program," in Proceedings of the Eleventh International Conference on Logic Programming (ICLP94), pp. 23-37, 1994.
H. Turner, "A monotonicity theorem for extended logic programs," in Proceedings of the Tenth International Conference on Logic Programming (ICLP93), pp. 567-585, 1993.