| |
| 2002 | ||
|---|---|---|
| 3 | EE | Marianne Brown: Selecting Semantics for Use with Semantic Pruning of Linear Deductions. Australian Joint Conference on Artificial Intelligence 2002: 719 |
| 2000 | ||
| 2 | Marianne Brown, Geoff Sutcliffe: System Description: PTTP+GLiDes: Semantically Guided PTTP. CADE 2000: 411-416 | |
| 1999 | ||
| 1 | Marianne Brown, Geoff Sutcliffe: PTTP+GLiDeS: Guiding Linear Deductions with Semantics. Australian Joint Conference on Artificial Intelligence 1999: 244-254 | |
| 1 | Geoff Sutcliffe | [1] [2] |