dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Adam Pease (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Pease, Geoff Sutcliffe: First Order Reasoning on a Large Ontology. ESARLT 2007

Selection of 4 from 17 records - Adam Pease has 52 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page