Tomasz Pietrzykowski (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

15		Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski: Equality and Abductive Residua for Horn Clauses. Theor. Comput. Sci. 120(1): 1-44 (1993)
14		Philip T. Cox, Tomasz Pietrzykowski: Visual Message Flow Language MFL and its Interaface. Advanced Visual Interfaces 1992: 348-361
13		Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski: Abduction in Logic Programming with Equality. FGCS 1992: 539-545
11		Philip T. Cox, Tomasz Pietrzykowski: General Diagnosis by Abductive Inference. SLP 1987: 183-189
10		Philip T. Cox, Tomasz Pietrzykowski: Causes for Events: Their Computation and Applications. CADE 1986: 608-621
9		Philip T. Cox, Tomasz Pietrzykowski: Surface Deduction: A Uniform Mechanism for Logic Programming. SLP 1985: 220-227
7		Philip T. Cox, Tomasz Pietrzykowski: A Complete, Nonredundant Algorithm for Reversed Skolemization. Theor. Comput. Sci. 28: 239-261 (1984)
4		Philip T. Cox, Tomasz Pietrzykowski: A Complete, Nonredundant Algorithm for Reversed Skolemization. CADE 1980: 374-385

Selection of 8 from 15 records - Tomasz Pietrzykowski has 8 coauthors