Research papers by Hudson Turner

H. Turner, "Nonmonotonic causal logic." In Handbook of Knowlege Representation, Elsevier, edited by Frank van Hermelen, Vladimir Lifschitz, and Bruce Porter, pp. 759-776, 2008.

E. Giunchiglia, J. Lee, N. McCain, V. Lifschitz and H. Turner, "Nonmonotonic causal theories." In Artificial Intelligence (AIJ), vol 153, pp. 49-104, 2004.

V. Akman, S. Erdogan, J. Lee, V. Lifschitz and H. Turner, "Representing the Zoo World and the Traffic World in the language of the Causal Calculator." In Artificial Intelligence (AIJ), vol 153, pp. 105-140, 2004.

H. Turner, "Strong equivalence for causal theories." In Proc. of the Seventh Int'l Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'04), pp. 289-301, 2004.

H. Turner, "Strong equivalence made easy: nested expressions and weight constraints." In (Journal of) Theory and Practice of Logic Programming (TPLP), vol 3(4&5), pp. 609-622, 2003.

H. Turner, "Polynomial-length planning spans the polynomial hierarchy." In Proc. of Eighth European Conf. on Logics in Artificial Intelligence (JELIA'02), pp. 111-124, 2002. Here is an unpublished full version of this paper.

H. Turner, "Order-consistent programs are cautiously monotonic." In (Journal of) Theory and Practice of Logic Programming (TPLP), vol 1(4), pp. 487-495, 2001.

H. Turner, "Strong equivalence for logic programs and default theories (made easy)." In Proc. of the Sixth Int'l Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pp. 81-92, 2001.

H. Turner, "A logic of universal causation." In Artificial Intelligence (AIJ), vol 113, pp. 87-123, 1999.

V. Lifschitz and H. Turner, "Representing transition systems by logic programs." In Proc. of the Fifth Int'l Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), pp. 92-106, 1999.

V. Lifschitz, L.R. Tang and H. Turner, "Nested expressions in logic programs." In Annals of Mathematics and Artificial Intelligence (AMAI), vol. 25:2,3, pp. 369-390, 1999.

N. McCain and H. Turner, "Satisfiability planning with causal theories," in Proc. of the Sixth Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pp. 212-223, 1998.

H. Turner, "Causal action theories and satisfiability planning." Phd Thesis. Technical Report CS-TR-98-26, Department of Computer Sciences, University of Texas at Austin. 1998.

N. McCain and H. Turner, "Causal theories of action and change," in Proc. of the 1997 Nat'l Conf. on Artificial Intelligence (AAAI'97), pp. 460-465, 1997. AAAI

N. McCain and H. Turner, "On relating causal theories to other formalisms." Unpublished manuscript. 1997.

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.

T. Przymusinski and H. Turner, "Update by means of inference rules," in Journal of Logic Programming, Vol. 30, No. 2, pp. 125-143, 1997.

H. Turner, "Splitting a default theory," in Proc. of the 1996 Nat'l Conf. on Artificial Intelligence (AAAI'96), pp. 645-651, 1996. AAAI

N. McCain and H. Turner, "A causal theory of ramifications and qualifications," in Proc. of the Fourteenth Int'l Conf. on Artifical Intelligence (IJCAI'95), 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: Proc. of the 1994 Int'l Symposium (ILPS'94), pp. 61-75, 1994. Here is an unpublished full version of this paper.

N. McCain and H. Turner, "Language independence and language tolerance in logic programs," in Proc. of the Eleventh Int'l Conf. on Logic Programming (ICLP'94), pp. 38-57, 1994.

V. Lifschitz and H. Turner, "Splitting a logic program," in Proc. of the Eleventh Int'l Conf. on Logic Programming (ICLP'94), pp. 23-37, 1994.

H. Turner, "A monotonicity theorem for extended logic programs," in Proc. of the Tenth Int'l Conf. on Logic Programming (ICLP'93), pp. 567-585, 1993.

Hudson's home page