| 2008 |
|---|
| 8 | | Timothy L. Hinrichs,
Michael R. Genesereth:
Injecting the How into the What: Investigating a Finite Classical Logic.
KR 2008: 92-192 |
| 7 | EE | Timothy L. Hinrichs:
Collaborative Programming: Applications of Logic and Automated Reasoning.
PAAR/ESHOL 2008 |
| 2007 |
|---|
| 6 | EE | Tim Hinrichs,
Michael R. Genesereth:
Extensional Reasoning.
ESARLT 2007 |
| 5 | EE | Timothy L. Hinrichs,
Michael R. Genesereth:
Reformulation for Extensional Reasoning.
SARA 2007: 215-229 |
| 4 | EE | Timothy L. Hinrichs:
Extensional Reasoning.
SARA 2007: 400-401 |
| 2005 |
|---|
| 3 | | Timothy L. Hinrichs,
Michael R. Genesereth:
Axiom Schemata as Metalevel Axioms: Model Theory.
AAAI 2005: 294-299 |
| 2004 |
|---|
| 2 | EE | Tim Hinrichs,
Nathaniel Love,
Charles J. Petrie,
Lyle Ramshaw,
Akhil Sahai,
Sharad Singhal:
Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation.
DSOM 2004: 159-170 |
| 2003 |
|---|
| 1 | EE | Charles J. Petrie,
Michael R. Genesereth,
Hans Bjornsson,
Rada Chirkova,
Martin Ekstrom,
Hidehito Gomi,
Tim Hinrichs,
Rob Hoskins,
Michael Kassoff,
Daishi Kato,
Kyohei Kawazoe,
Jung Ung Min,
Waqar Mohsin:
Adding AI to Web Services.
AMKM 2003: 322-338 |
