![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 3 | 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 | |
| 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 |
Selection of 3 from 3 records - Cynthia Chang has 10 coauthors
Copyright © 2010-01-03 by Michael Ley (ley@uni-trier.de)