`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:

### Wrote 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.