Adam Pease

Affiliations:
  • Articulate Software, San Francisco, CA, USA


According to our database1, Adam Pease authored at least 40 papers between 1998 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Converting the Suggested Upper Merged Ontology to Typed First-order Form.
CoRR, 2023

Cross-validation of Answers with SUMO and GPT.
Proceedings of the Joint proceedings of the 1st workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM) and the 2nd challenge on Language Models for Knowledge Base Construction (LM-KBC) co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023

Translating SUMO-K to Higher-Order Set Theory.
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022
Foundational ontologies meet ontology matching: A survey.
Semantic Web, 2022

Contradiction Detection and Repair in a Large Theory.
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021
Choosing a Logic to Represent the Semantics of Natural Language.
Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020
A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Extending SUMO to Geological Times.
Proceedings of the XII Seminar on Ontology Research in Brazil and III Doctoral and Masters Consortium on Ontologies, 2019

Aligning Conference Ontologies with SUMO: A Report on Manual Alignment via WordNet.
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Representation and Retrieval of Images by Means of Spatial Relations Between Objects.
Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

2018
Toward a Semantic Concordancer.
Proceedings of the 9th Global Wordnet Conference, 2018

2017
Reasoning from imperfect knowledge.
Cogn. Syst. Res., 2017

Detecting Inconsistencies in Large First-Order Knowledge Bases.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
Word Substitution in Short Answer Extraction: A WordNet-based Approach.
Proceedings of the 8th Global WordNet Conference, 2016

2015
A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO.
Cogn. Syst. Res., 2015

2014
Default Physical Measurements in SUMO.
Proceedings of the 4th Workshop on Cognitive Aspects of the Lexicon, 2014

Knowledge Engineering for Large Ontologies with Sigma KEE 3.0.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

A Multilingual Lexico-Semantic Database and Ontology.
Proceedings of the Towards the Multilingual Semantic Web, 2014

2013
Sigma: An integrated development environment for formal ontology.
AI Commun., 2013

2012
Higher-order aspects and context in SUMO.
J. Web Semant., 2012

2010
Large theory reasoning with SUMO at CASC.
AI Commun., 2010

Progress in Automating Higher-Order Ontology Reasoning.
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2008
A Call for Executable Linguistics Research.
Proceedings of the 22nd Pacific Asia Conference on Language, Information and Computation, 2008

Integrating YAGO into the Suggested Upper Merged Ontology.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Integration of the TPTPWorld into SigmaKEE.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

The Annual SUMO Reasoning Prizes at CASC.
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2007
First Order Reasoning on a Large Ontology.
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

2006
Building a WordNet for Arabic.
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

Linking FrameNet to the Suggested Upper Merged Ontology.
Proceedings of the Formal Ontology in Information Systems, 2006

2004
Analogy and Deduction for Knowledge Discovery.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'04, 2004

2003
Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

Agent-Mediated Knowledge Engineering Collaboration.
Proceedings of the Agent Mediated Knowledge Management, 2003

2002
IEEE standard upper ontology: a progress report.
Knowl. Eng. Rev., 2002

AAAI 2002 Workshops.
AI Mag., 2002

2001
Towards a standard upper ontology.
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

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).
Proceedings of the Answer Set Programming, 2001

2000
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project.
Proceedings of the KR 2000, 2000

1999
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
The DARPA High-Performance Knowledge Bases Project.
AI Mag., 1998


  Loading...