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:
1998
1994199419931993Wrote 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.