| 2008 |
|---|
| 3 | EE | Paulo Pinheiro da Silva,
Geoff Sutcliffe,
Cynthia Chang,
Li Ding,
Nick del Rio,
Deborah L. McGuinness:
Presenting TSTP Proofs with Inference Web Tools.
PAAR/ESHOL 2008 |
| 2007 |
|---|
| 2 | | Deborah L. McGuinness,
Li Ding,
Paulo Pinheiro da Silva,
Cynthia Chang:
PML 2: A Modular Explanation Interlingua.
ExaCt 2007: 49-55 |
| 1 | | Vasco Furtado,
Paulo Pinheiro da Silva,
Deborah L. McGuinness,
Priyendra Deshwal,
Dhyanesh Narayanan,
Juliana Carvalho,
Vladia Pinheiro,
Cynthia Chang:
Abstracting Web Agent Proofs into Human-Level Justifications.
FLAIRS Conference 2007: 80-85 |
