Travelled to:1 × Germany
1 × Hungary
3 × USA
Collaborated with:∅ A.J.Bonner L.A.Shklar R.v.d.Meyden K.V.Vadaparty
Talks about:intuitionist (4) logic (4) program (2) prolog (2) action (2) order (2) interpret (1) indefinit (1) properti (1) express (1)
Person: L. Thorne McCarty
DBLP: McCarty:L=_Thorne
Contributed to:
1994
19941993199219901989Wrote 6 papers:
- ILPS-1994-McCartyS #first-order #interpreter #logic #prolog
- A PROLOG Interpreter for First-Order Intuitionistic Logic (LTM, LAS), p. 685.
- KR-1994-McCarty
- Modalities Over Actions, I. Model Theory (LTM), pp. 437–448.
- ICLP-1993-McCarty #higher-order #induction #logic #prolog #proving #source code
- Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic (LTM), pp. 44–63.
- KR-1992-McCartyM #reasoning
- Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.
- NACLP-1990-BonnerM #logic programming
- Adding Negation-as-Failure to Intuitionistic Logic Programming (AJB, LTM), pp. 681–703.
- NACLP-1989-BonnerMV #database #logic #query
- Expressing Database Queries with Intuitionistic Logic (AJB, LTM, KVV), pp. 831–850.