Steven Trac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2008–2012
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | WAFR | Robust Complete Path Planning in the Plane. | Victor Milenkovic, Elisha Sacks, Steven Trac |
| 2009 | FlAIRS | Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. | Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac |
| 2008 | CADE | The Annual SUMO Reasoning Prizes at CASC. | Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac |
| 2008 | CADE | Integration of the TPTPWorld into SigmaKEE. | Steven Trac, Geoff Sutcliffe, Adam Pease |