`Travelled to:`

1 × Canada

1 × Hungary

1 × USA

2 × Italy

`Collaborated with:`

N.McCain ∅ V.Lifschitz

`Talks about:`

program (5) logic (5) languag (2) independ (1) approach (1) theorem (1) satisfi (1) monoton (1) theori (1) reason (1)

## Person: Hudson Turner

### DBLP: Turner:Hudson

### Contributed to:

### Wrote 6 papers:

- KR-1998-McCainT #satisfiability
- Satisfiability planning with Causal Theories (NM, HT), pp. 212–223.
- ICLP-1994-LifschitzT #logic programming
- Splitting a Logic Program (VL, HT), pp. 23–37.
- ICLP-1994-McCainT #independence #logic programming #source code
- Language Independence and Language Tolerance in Logic Programs (NM, HT), pp. 38–57.
- ILPS-1994-Turner #logic programming #source code
- Signed Logic Programs (HT), pp. 61–75.
- ICLP-1993-Turner #logic programming #source code #theorem
- A Monotonicity Theorem for Extended Logic Programs (HT), pp. 567–585.
- ILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning
- Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.