Marianne Brown

According to our database, Marianne Brown authored at least 3 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Selecting Semantics for Use with Semantic Pruning of Linear Deductions.

Marianne Brown

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2000

System Description: PTTP+GLiDes: Semantically Guided PTTP.

Marianne Brown, Geoff Sutcliffe

Proceedings of the Automated Deduction, 2000

1999

PTTP+GLiDeS: Guiding Linear Deductions with Semantics.

Marianne Brown, Geoff Sutcliffe

Proceedings of the Advanced Topics in Artificial Intelligence, 1999