| |
| 2008 | ||
|---|---|---|
| 2 | EE | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems 16(3): 271-297 (2008) |
| 2007 | ||
| 1 | EE | Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Journal of the IGPL 15(4): 293-304 (2007) |
| 1 | Krysia Broda | [1] [2] |
| 2 | Keith Clark | [2] |
| 3 | Alessandra Russo | [2] |
| 4 | Gabrielle Sinnadurai | [1] |
| 5 | Alexander J. Summers | [1] |