Steven Trac (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac: Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Conference 2009

3 Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008

2 Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008

1 Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)

Selection of 4 from 4 records - Steven Trac has 5 coauthors

4		Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac: Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. FLAIRS Conference 2009
3		Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008
2		Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008
1		Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)