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 |