UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Hudson Turner
Ph.D. Alumni
Email:
hudson [at] d umn edu
Homepage:
http://www.d.umn.edu/~hudson/
Publications
[Expand to show all 16]
[Minimize]
Nonmonotonic Causal Theories
2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner,
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 49-104.
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
2004
Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz and Hudson Turner,
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 105-140.
Nested Expressions in Logic Programs
1999
Vladimir Lifschitz, Lappoon R. Tang and Hudson Turner,
Annals of Mathematics and Artificial Intelligence
, Vol. 25 (1999), pp. 369-389.
Representing Transition Systems by Logic Programs
1999
Vladimir Lifschitz and Hudson Turner, In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
, pp. 92-106 1999.
Causal Action Theories and Satisfiability Planning
1998
Hudson Turner, PhD Thesis, University of Texas at Austin.
Satisfiability Planning with Causal Theories
1998
Norman McCain and Hudson Turner, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 212-223 1998.
Causal Theories of Action and Change
1997
Norman McCain and Hudson Turner, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 460-465 1997.
Representing Actions in Logic Programs and Default Theories: a Situation Calculus Approach
1997
Hudson Turner,
Journal of Logic Programming
, Vol. 31 (1997), pp. 245-298.
Update by Means of Inference Rules
1997
Teodor Przymusinski and Hudson Turner,
Journal of Logic Programming
, Vol. 30, 2 (1997), pp. 125-143.
Splitting a Default Theory
1996
Hudson Turner, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 645-651 1996.
A Causal Theory of Ramifications and Qualifications
1995
Norman McCain and Hudson Turner, In
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 1978-1984 1995.
From Disjunctive Programs to Abduction
1995
Vladimir Lifschitz and Hudson Turner, In
Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 927)
, Dix, J{"u}rgen and Pereira, Luis and Przymusinski, Teodor (Eds.), pp. 23-42 1995. Springer.
Language Independence and Language Tolerance in Logic Programs
1994
Norman McCain and Hudson Turner, In
Proceedings Eleventh Int'l Conf. on Logic Programming
, Van Hentenryck, Pascal (Eds.), pp. 38-57 1994.
Signed Logic Programs
1994
Hudson Turner, In
Proceedings ILPS-94
, pp. 61-75 1994.
Splitting a Logic Program
1994
Vladimir Lifschitz and Hudson Turner, In
Proceedings of International Conference on Logic Programming (ICLP)
, Van Hentenryck, Pascal (Eds.), pp. 23-37 1994.
A Monotonicity Theorem for Extended Logic Programs
1993
Hudson Turner, In
Proceedings Tenth Int'l Conf. on Logic Programming
, pp. 567-585 1993.
Labs
Formerly affiliated with
Texas Action Group