Travelled to:1 × France
1 × Sweden
4 × USA
Collaborated with:T.Pietrzykowski P.K.Nicholson O.Banyasad S.Gauvin A.Rau-Chaplin
Talks about:program (3) logic (2) spreadsheet (1) nonredund (1) algorithm (1) translat (1) parallel (1) function (1) diagnosi (1) uniform (1)
Person: Philip T. Cox
DBLP: Cox:Philip_T=
Contributed to:
2008
2005
2003
1987
198619851980Wrote 7 papers:
- PADL-2008-CoxN #array #logic programming #spreadsheet #unification
- Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.
- SOFTVIS-2005-CoxGR #data flow #parallel #source code #visual notation
- Adding parallelism to visual data flow programs (PTC, SG, ARC), pp. 135–144.
- PPDP-2003-BanyasadC #functional #geometry #on the
- On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.
- SLP-1987-CoxP87 #abduction
- General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.
- CADE-1986-CoxP
- Causes for Events: Their Computation and Applications (PTC, TP), pp. 608–621.
- SLP-1985-CoxP85 #deduction #logic programming
- Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.
- CADE-1980-CoxP #algorithm
- A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.