Marianne Brown

	2002
3		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

Coauthor Index

1

Geoff Sutcliffe

[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page