Hudson Turner

According to our database1, Hudson Turner authored at least 23 papers between 1993 and 2008.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Nonmonotonic Causal Logic.
Proceedings of the Handbook of Knowledge Representation, 2008

2004
Nonmonotonic causal theories.
Artif. Intell., 2004

Representing the Zoo World and the Traffic World in the language of the Causal Calculator.
Artif. Intell., 2004

Strong Equivalence for Causal Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003
Strong equivalence made easy: nested expressions and weight constraints.
TPLP, 2003

2002
Polynomial-Length Planning Spans the Polynomial Hierarchy.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Order-consistent programs are cautiously monotonic.
TPLP, 2001

Strong Equivalence for Logic Programs and Default Theories (Made Easy).
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

1999
Nested Expressions in Logic Programs.
Ann. Math. Artif. Intell., 1999

A Logic of Universal Causation.
Artif. Intell., 1999

Representing Transition Systems by Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998
Satisfiability planning with Causal Theories.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.
J. Log. Program., 1997

Update by Means of Inference Rules.
J. Log. Program., 1997

Causal Theories of Action and Change.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
Splitting a Default Theory.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
A Causal Theory of Ramifications and Qualifications.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Signed Logic Programs.
Proceedings of the Logic Programming, 1994

From Disjunctive Programs to Abduction.
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Language Independence and Language Tolerance in Logic Programs.
Proceedings of the Logic Programming, 1994

Splitting a Logic Program.
Proceedings of the Logic Programming, 1994

1993
Automated Reasoning About Actions: A Logic Programming Approach.
Proceedings of the Logic Programming, 1993

A Monotonicity Theorem for Extended Logic Programs.
Proceedings of the Logic Programming, 1993


  Loading...