| 2008 |
|---|
| 3 | EE | Kaustuv Chaudhuri,
Frank Pfenning,
Greg Price:
A Logical Characterization of Forward and Backward Chaining in the Inverse Method.
J. Autom. Reasoning 40(2-3): 133-177 (2008) |
| 2007 |
|---|
| 2 | EE | Michael F. Marotta,
Purin Phanichphant,
Patrick Malatack,
Tej Shah,
Greg Price,
Thankam Thyvalikakath,
Titus Schleyer,
Jason I. Hong:
Design and evaluation of 3d models for electronic dental records.
CHI Extended Abstracts 2007: 2567-2572 |
| 2006 |
|---|
| 1 | EE | Kaustuv Chaudhuri,
Frank Pfenning,
Greg Price:
A Logical Characterization of Forward and Backward Chaining in the Inverse Method.
IJCAR 2006: 97-111 |
