Paul B. Thistlewaite

17 papers A 2Misc 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
1999 Misc conf
Merging Results From Isolated Search Engines.
Australasian Database Conference
Nick Craswell, David Hawking, Paul B. Thistlewaite
1999 J jnl
Methods for Information Server Selection.
ACM Trans. Inf. Syst.
David Hawking, Paul B. Thistlewaite
1999 J jnl
Results and Challenges in Web Search Evaluation.
Comput. Networks
David Hawking, Nick Craswell, Paul B. Thistlewaite, Donna Harman
1999 J jnl
Scaling Up the TREC Collection.
Inf. Retr.
David Hawking, Paul B. Thistlewaite, Donna Harman
1998 — conf
ACSys TREC-7 Experiments.
TREC
David Hawking, Nick Craswell, Paul B. Thistlewaite
1998 — conf
Overview of TREC-7 Very Large Collection Track.
TREC
David Hawking, Nick Craswell, Paul B. Thistlewaite
1997 — conf
ANU/ACSys TREC-6 Experiments.
TREC
David Hawking, Paul B. Thistlewaite, Nick Craswell
1997 J jnl
Automatic Construction and Management of Large Open Webs.
Inf. Process. Manag.
Paul B. Thistlewaite
1997 — conf
Overview of TREC-6 Very Large Collection Track.
TREC
David Hawking, Paul B. Thistlewaite
1996 — conf
ANU/ACSys TREC-5 Experiments.
TREC
David Hawking, Paul B. Thistlewaite, Peter Bailey
1996 J jnl
Active FORMs.
Comput. Networks
Paul B. Thistlewaite, Steve Ball
1995 — conf
Proximity Operators - So Near And Yet So Far.
TREC
David Hawking, Paul B. Thistlewaite
1994 — conf
Searching For Meaning With The Help Of A PADRE.
TREC
David Hawking, Paul B. Thistlewaite
1991 J jnl
Approaching Hard Non-Classical Problems.
J. Autom. Reason.
Paul B. Thistlewaite, Michael A. McRobbie
1988 — book
Automated theorem-proving in non-classical logics.
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
1988 A conf
Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.
CADE
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
1986 A conf
The KRIPKE Automated Theorem Proving System.
CADE
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer