MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Hudson Turner – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

31 documents found, showing 1 through 10. Next 10 →

ATOM

Strong Equivalence for Logic Programs and Default Theories (Made Easy)
by Hudson Turner — 2001 — In Proc. LPNMR-01, LNCS 2173
…Strong Equivalence for Logic Programs and Default Theories (Made Easy) Hudson Turner Computer…
Cited by 22 (2 self) – Add To MetaCart

Representing Actions in Default Logic: A Situation Calculus Approach
by Hudson Turner — 1996 — In Proceedings of the Symposium in honor of Michael Gelfond's 50th birthday (also in Common Sense 96
…Representing Actions in Default Logic: A Situation Calculus Approach Hudson Turner Department…
Cited by 10 (5 self) – Add To MetaCart

A Monotonicity Theorem for Extended Logic Programs
by Hudson Turner — 1993 — Proc. of 10th International Conference on Logic Programming
…A Monotonicity Theorem for Extended Logic Programs Hudson Turner Department of Computer Sciences…
Cited by 9 (0 self) – Add To MetaCart

Strong Equivalence for Causal Theories
by Hudson Turner — 2004 — In V. Lifschitz and I. Niemelä (eds) Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Springer LNAI 2923
…Strong Equivalence for Causal Theories Hudson Turner ? Computer Science Department University…
Cited by 6 (1 self) – Add To MetaCart

Order-Consistent Programs are Cautiously Monotonic
by Hudson Turner — 2001
…-Consistent Programs are Cautiously Monotonic HUDSON TURNER Computer Science Department University of Minnesota…
Cited by 2 (0 self) – Add To MetaCart

Splitting a Default Theory
by Hudson Turner — 1996 — In Proc. of AAAI-96
…Splitting a Default Theory Hudson Turner Department of Computer Sciences University of Texas…
Cited by 17 (2 self) – Add To MetaCart

Representing Actions In Logic Programs And Default Theories
by Hudson Turner — 1997
… to capture our commonsense Address correspondence to Hudson Turner, Department of Computer Sciences…
Cited by 73 (7 self) – Add To MetaCart

A Logic of Universal Causation
by Hudson Turner — 1999 — Artificial Intelligence
…A Logic of Universal Causation Hudson Turner Department of Computer Science, University…
Cited by 39 (4 self) – Add To MetaCart

Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
by Hudson Turner — 2003 — THEORY AND PRACTICE OF LOGIC PROGRAMMING
… Equivalence Made Easy: Nested Expressions and Weight Constraints HUDSON TURNER Computer Science Department…
Cited by 38 (1 self) – Add To MetaCart

Polynomial-Length Planning Spans the Polynomial Hierarchy
by Hudson Turner — 2001 — In Proc. of Eighth European Conf. on Logics in Artificial Intelligence (JELIA’02
…Polynomial-Length Planning Spans the Polynomial Hierarchy Hudson Turner University of Minnesota…
Cited by 17 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB