Travelled to:1 × Canada
2 × Italy
Collaborated with:H.Turner V.Lifschitz
Talks about:program (2) languag (2) logic (2) independ (1) approach (1) satisfi (1) theori (1) reason (1) causal (1) action (1)
Person: Norman McCain
DBLP: McCain:Norman
Contributed to:
1998
19941993Wrote 3 papers:
- KR-1998-McCainT #satisfiability
- Satisfiability planning with Causal Theories (NM, HT), pp. 212–223.
- ICLP-1994-McCainT #independence #logic programming #source code
- Language Independence and Language Tolerance in Logic Programs (NM, HT), pp. 38–57.
- ILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning
- Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.