Concepedia

Philip T. Cox

PT

11

Publications

291

Citations

10

H-Index

1981

Active since

Affiliations

Dalhousie University(Current)

Technical University of Nova Scotia

Philip T. Cox is an author at Dalhousie University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceSoftware DesignAutomated ReasoningDesignFormal MethodsFormal VerificationSoftware EngineeringRoboticsVerification

Publications per year

1981–2011

11

Publications

11

General Diagnosis by Abductive Inference.

Philip T. Cox, Tomasz Pietrzykowski · SLP · 1987 · 60 citations

Human Centric Computing Languages and Environments

John Hosking, Philip T. Cox · 2003 · 50 citations

Engineering, Computing Environment, Programming Language Implementation +7

Finding Backtrack Points for Intelligent Backtracking.

Philip T. Cox · 1984 · 39 citations

Artificial Intelligence, Intelligent Information Processing, Engineering +8

Expanding the utility of spreadsheets through the integration of visual programming and user interface objects

Trevor J. Smedley, Philip T. Cox, Shannon Byrne · 1996 · 33 citations · Full text

Engineering, Visual Programming Language, Interactive Data Exploration +19

Deduction Plans: A Basis for Intelligent Backtracking

Philip T. Cox, Tomasz Pietrzykowski · IEEE Transactions on Pattern Analysis and Machine Intelligence · 1981 · 28 citations

Engineering, Reasoning System, Automated Reasoning +15

Rows per page

1–5 of 11