default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdam Pease
Person information
- affiliation: Articulate Software, San Francisco, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]Christopher B. Rauch
, Ursula Addison, Michael W. Floyd, Prateek Goel, Justin Karneeb, Ray Kulhanek, Othalia Larue, David H. Ménager, Mallika Mainali, Matthew Molineaux, Adam Pease, Anik Sen, J. T. Turner, Rosina Weber:
Algorithmic Decision-Making in Difficult Scenarios. AAAI Spring Symposia 2024: 583-585- 2023
- [c29]Chad E. Brown, Adam Pease, Josef Urban:
Translating SUMO-K to Higher-Order Set Theory. FroCoS 2023: 255-274 - [c28]Dan Lupu, Adrian Groza, Adam Pease:
Cross-validation of Answers with SUMO and GPT. KBC-LM/LM-KBC@ISWC 2023 - [i2]Adam Pease:
Converting the Suggested Upper Merged Ontology to Typed First-order Form. CoRR abs/2303.04148 (2023) - [i1]Chad E. Brown, Adam Pease, Josef Urban:
Translating SUMO-K to Higher-Order Set Theory. CoRR abs/2305.07903 (2023) - 2022
- [j9]Cássia Trojahn, Renata Vieira, Daniela Schmidt, Adam Pease, Giancarlo Guizzardi:
Foundational ontologies meet ontology matching: A survey. Semantic Web 13(4): 685-704 (2022) - [c27]Adam Pease, Stephan Schulz:
Contradiction Detection and Repair in a Large Theory. FLAIRS 2022 - 2021
- [c26]Adam Pease:
Choosing a Logic to Represent the Semantics of Natural Language. CLAR 2021: 504-512 - 2020
- [c25]Stephan Schulz, Adam Pease:
Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). IJCAR (2) 2020: 158-166 - [c24]Adam Pease:
A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description). IJCAR (2) 2020: 472-479
2010 – 2019
- 2019
- [c23]Danilo Nunes, Leonardo Anjoletto Ferreira, Paulo E. Santos, Adam Pease:
Representation and Retrieval of Images by Means of Spatial Relations Between Objects. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering 2019 - [c22]Daniela Schmidt, Adam Pease, Cássia Trojahn, Renata Vieira:
Aligning Conference Ontologies with SUMO: A Report on Manual Alignment via WordNet. JOWO 2019 - [c21]Alexandre Tessarollo, Alexandre Rademaker, Adam Pease:
Extending SUMO to Geological Times. ONTOBRAS 2019 - 2018
- [c20]Adam Pease, Andrew Cheung:
Toward a Semantic Concordancer. GWC 2018: 97-104 - 2017
- [j8]Stephen K. Reed, Adam Pease:
Reasoning from imperfect knowledge. Cogn. Syst. Res. 41: 56-72 (2017) - [c19]Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease:
Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE 2017: 310-325 - 2016
- [c18]Qingqing Cai, James Gung, Maochen Guan, Gerald Kurlandski, Adam Pease:
Word Substitution in Short Answer Extraction: A WordNet-based Approach. GWC 2016: 66-73 - 2015
- [j7]Stephen K. Reed, Adam Pease:
A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO. Cogn. Syst. Res. 33: 122-144 (2015) - 2014
- [c17]Adam Pease, Stephan Schulz:
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. IJCAR 2014: 519-525 - [c16]Francesca Quattri, Adam Pease, John P. McCrae:
Default Physical Measurements in SUMO. CogALex@COLING 2014: 138-143 - [p1]Francis Bond, Christiane Fellbaum, Shu-Kai Hsieh, Chu-Ren Huang, Adam Pease, Piek Vossen:
A Multilingual Lexico-Semantic Database and Ontology. Towards the Multilingual Semantic Web 2014: 243-258 - 2013
- [j6]Adam Pease, Christoph Benzmüller:
Sigma: An integrated development environment for formal ontology. AI Commun. 26(1): 79-97 (2013) - 2012
- [j5]Christoph Benzmüller, Adam Pease:
Higher-order aspects and context in SUMO. J. Web Semant. 12: 104-117 (2012) - 2010
- [j4]Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010) - [c15]Christoph Benzmüller, Adam Pease:
Progress in Automating Higher-Order Ontology Reasoning. PAAR@IJCAR 2010: 22-32
2000 – 2009
- 2008
- [c14]Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008 - [c13]Steven Trac, Geoff Sutcliffe, Adam Pease:
Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008 - [c12]Gerard de Melo, Fabian M. Suchanek, Adam Pease:
Integrating YAGO into the Suggested Upper Merged Ontology. ICTAI (1) 2008: 190-193 - [c11]Adam Pease:
A Call for Executable Linguistics Research. PACLIC 2008: 58-64 - 2007
- [c10]Adam Pease, Geoff Sutcliffe:
First Order Reasoning on a Large Ontology. ESARLT 2007 - 2006
- [c9]Jan Scheffczyk, Adam Pease, Michael Ellsworth:
Linking FrameNet to the Suggested Upper Merged Ontology. FOIS 2006: 289-300 - [c8]Sabry ElKateb, William Black, Horacio Rodríguez, Musa Alkhalifa, Piek Vossen, Adam Pease, Christiane Fellbaum:
Building a WordNet for Arabic. LREC 2006: 29-34 - 2004
- [c7]Jim Reynolds, Adam Pease, John Li:
Analogy and Deduction for Knowledge Discovery. IKE 2004: 39-48 - 2003
- [c6]Adam Pease, John Li:
Agent-Mediated Knowledge Engineering Collaboration. AMKM 2003: 405-415 - [c5]Ian Niles, Adam Pease:
Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology. IKE 2003: 412-416 - 2002
- [j3]M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat:
AAAI 2002 Workshops. AI Mag. 23(4): 113-121 (2002) - [j2]Adam Pease, Ian Niles:
IEEE standard upper ontology: a progress report. Knowl. Eng. Rev. 17(1): 65-70 (2002) - 2001
- [c4]Jay Halcomb, Adam Pease:
On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). Answer Set Programming 2001 - [c3]Ian Niles, Adam Pease:
Towards a standard upper ontology. FOIS 2001: 2-9 - 2000
- [c2]Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar:
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. KR 2000: 717-724
1990 – 1999
- 1999
- [c1]Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag:
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? AAAI/IAAI 1999: 221-226 - 1998
- [j1]Paul R. Cohen, Robert Schrag, Eric K. Jones, Adam Pease, Albert Lin, Barbara Starr, David Gunning, Murray Burke:
The DARPA High-Performance Knowledge Bases Project. AI Mag. 19(4): 25-49 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
