Adam Pease

Adam Pease's AcademicInfluence.com Rankings

Adam Pease

Computer Science

#11314

World Rank

#11977

Historical Rank

#1979

USA Rank

Artificial Intelligence

#5867

World Rank

#5956

Historical Rank

#334

USA Rank

Database

#8817

World Rank

#9259

Historical Rank

#1205

USA Rank

computer-science Degrees

Download Badge

Computer Science

Adam Pease's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Adam Pease Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Adam Pease's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Towards a standard upper ontology (2001) (1956)
The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applic ations (2002) (405)
Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology (2003) (373)
The DARPA High-Performance Knowledge Bases Project (1998) (203)
Building a WordNet for Arabic (2006) (138)
IEEE standard upper ontology: a progress report (2002) (96)
Origins of The IEEE Standard Upper Ontology (2004) (86)
Arabic WordNet and the Challenges of Arabic (2006) (80)
Arabic WordNet. Current State and Future Extensions (2008) (77)
Integrating YAGO into the Suggested Upper Merged Ontology (2008) (68)
First Order Reasoning on a Large Ontology (2007) (58)
Linking FrameNet to the Suggested Upper Merged Ontology (2006) (58)
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? (1999) (57)
Mapping WordNet to the SUMO Ontology (2003) (56)
The Sigma Ontology Development Environment (2003) (40)
Large theory reasoning with SUMO at CASC (2010) (40)
Ontology and the Lexicon: Formal ontology as interlingua: the SUMO and WordNet linking project and global WordNet (2010) (38)
Higher-order aspects and context in SUMO (2012) (29)
Building the Global WordNet Grid (2008) (28)
Representing Story Plans in SUMO (2010) (21)
Progress in Automating Higher-Order Ontology Reasoning (2012) (21)
A Multilingual Lexico-Semantic Database and Ontology (2014) (20)
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project (2000) (18)
Controlled English to Logic Translation (2010) (18)
Integration of the TPTPWorld into SigmaKEE (2008) (18)
A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO (2015) (18)
Agent-Mediated Knowledge Engineering Collaboration (2003) (17)
Sigma: An integrated development environment for formal ontology (2013) (16)
Ontologies across disciplines (2007) (16)
An English to logic translator for ontology-based knowledge representation languages (2003) (15)
Formal representation of concepts: The Suggested Upper Merged Ontology and its use in linguistics (2006) (15)
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0 (2014) (15)
State of the Art in Content Standards (2001) (14)
Reasoning from imperfect knowledge (2017) (13)
Language to Logic Translation with PhraseBank (2004) (11)
Formal Ontology for Media Rights Transactions (2009) (11)
Detecting Inconsistencies in Large First-Order Knowledge Bases (2017) (10)
Foundational ontologies meet ontology matching: A survey (2021) (10)
Applying Formal Methods and Representations in a Natural Language Tutor to Teach Tactical Reasoning (2003) (9)
The Annual SUMO Reasoning Prizes at CASC (2008) (9)
Practical Semiotics : A Formal Theory (1997) (8)
Sigma : An Integrated Development Environment for Logical Theories (2010) (8)
Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems (2003) (6)
Reasoning with Embedded Formulas and Modalities in SUMO (2010) (5)
Teaching Automated Theorem Proving by Example: PyRes 1.2 (2020) (4)
Aligning Conference Ontologies with SUMO: A Report on Manual Alignment via WordNet (2019) (3)
Analogy and Deduction for Knowledge Discovery (2004) (3)
Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology (2010) (3)
Toward a Semantic Concordancer (2018) (2)
Representation and Retrieval of Images by Means of Spatial Relations Between Objects (2019) (2)
Evaluation of intelligent systems: The high performance knowledge bases and IEEE Standard Upper Ontology Projects (2002) (2)
A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) (2020) (2)
Extending SUMO to Geological Times (2019) (2)
Wordnet and SUMO for Sentiment Analysis (2011) (2)
A Corpus of Spatial Reasoning Problems (2021) (2)
Contradiction Detection and Repair in a Large Theory (2022) (1)
SUMO: a sharable knowledge resource with linguistic inter-operability (2003) (1)
Translating expert system rules into Ada code with validation and verification (1991) (1)
The Warplan : A Method Independent Plan Schema (1998) (1)
A framework for constructing cognition ontologies using 3 WordNet , FrameNet , and SUMO 4 Action (1)
Default Physical Measurements in SUMO (2014) (1)
Formal ontology for discourse analysis of a corpus of court interpreting (2018) (1)
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) (2001) (0)
Panel: Large Knowledge Bases (2002) (0)
Converting the Suggested Upper Merged Ontology to Typed First-order Form (2023) (0)
Challenges of Building an Arabic WordNet (2008) (0)
AAAI 2002 Workshops (2002) (0)
Word Substitution in Short Answer Extraction: A WordNet-based Approach (2016) (0)
Second Workshop on Computational Approaches to Linguistic Creativity Comparing Semantic Role Labeling with Typed Dependency Parsing in Computational Metaphor Iden- Tification Workshop Program Automatic Conjugation and Identification of Regular and Irregular Verb Neologisms in Spanish Mining and Clas (2010) (0)
Knowledge Engineering Tools (2011) (0)
From Visual to Logical Representation A GIS-Based Sketching Tool for Reasoning about Plans (2007) (0)
Learning Theorem Proving by Example-Implementing JavaRes (2021) (0)
High-Performance Integration Transition and Exploitation of Knowledge (HITEK) (2002) (0)
Project Proposal: Formal Ethics Ontology in SUMO ∗ (2022) (0)
ODS 2003, Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems : Acapulco, August 9th, 2003 (2003) (0)
A Call for Executable Linguistics Research (2008) (0)
Embedding SUMO into Set Theory ∗ (2022) (0)
Choosing a Logic to Represent the Semantics of Natural Language (2021) (0)

This paper list is powered by the following services:

Other Resources About Adam Pease

en.wikipedia.org

What Schools Are Affiliated With Adam Pease?

Adam Pease is affiliated with the following schools:

Stanford University

Adam Pease's Academic­Influence.com Rankings

Adam Pease's Degrees

Similar Degrees You Can Earn

Why Is Adam Pease Influential?

Adam Pease's Published Works

Published Works

Other Resources About Adam Pease

What Schools Are Affiliated With Adam Pease?

Adam Pease's AcademicInfluence.com Rankings