Adam Pease

43 papers A* 1A 2B 1C 6Misc 3Journal 11Unranked 18
YearRankTypeTitle / Venue / Authors
2025 C conf
Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need.
NeSy
Richard Thompson, Adam Pease, Mathias Kölsch, Angelos Toutsios
2024 — conf
Algorithmic Decision-Making in Difficult Scenarios.
AAAI Spring Symposia
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
2023 J jnl
Converting the Suggested Upper Merged Ontology to Typed First-order Form.
CoRR
Adam Pease
2023 — conf
Cross-validation of Answers with SUMO and GPT.
KBC-LM/LM-KBC@ISWC
Dan Lupu, Adrian Groza, Adam Pease
2023 — conf
Translating SUMO-K to Higher-Order Set Theory.
FroCoS
Chad E. Brown, Adam Pease, Josef Urban
2023 J jnl
Translating SUMO-K to Higher-Order Set Theory.
CoRR
Chad E. Brown, Adam Pease, Josef Urban
2022 Misc conf
Contradiction Detection and Repair in a Large Theory.
FLAIRS
Adam Pease, Stephan Schulz
2022 J jnl
Foundational ontologies meet ontology matching: A survey.
Semantic Web
Cássia Trojahn, Renata Vieira, Daniela Schmidt, Adam Pease, Giancarlo Guizzardi
2021 — conf
Choosing a Logic to Represent the Semantics of Natural Language.
CLAR
Adam Pease
2020 — conf
A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description).
IJCAR (2)
Adam Pease
2020 — conf
Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description).
IJCAR (2)
Stephan Schulz, Adam Pease
2019 — conf
Aligning Conference Ontologies with SUMO: A Report on Manual Alignment via WordNet.
JOWO
Daniela Schmidt, Adam Pease, Cássia Trojahn, Renata Vieira
2019 — conf
Extending SUMO to Geological Times.
ONTOBRAS
Alexandre Tessarollo, Alexandre Rademaker, Adam Pease
2019 — conf
Representation and Retrieval of Images by Means of Spatial Relations Between Objects.
AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering
Danilo Nunes, Leonardo Anjoletto Ferreira, Paulo E. Santos, Adam Pease
2018 C conf
Toward a Semantic Concordancer.
GWC
Adam Pease, Andrew Cheung
2017 A conf
Detecting Inconsistencies in Large First-Order Knowledge Bases.
CADE
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
2017 J jnl
Reasoning from imperfect knowledge.
Cogn. Syst. Res.
Stephen K. Reed, Adam Pease
2016 C conf
Word Substitution in Short Answer Extraction: A WordNet-based Approach.
GWC
Qingqing Cai, James Gung, Maochen Guan, Gerald Kurlandski, Adam Pease
2015 J jnl
A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO.
Cogn. Syst. Res.
Stephen K. Reed, Adam Pease
2014 — ch.
A Multilingual Lexico-Semantic Database and Ontology.
Towards the Multilingual Semantic Web
Francis Bond, Christiane Fellbaum, Shu-Kai Hsieh, Chu-Ren Huang, Adam Pease, Piek Vossen
2014 — conf
Default Physical Measurements in SUMO.
CogALex@COLING
Francesca Quattri, Adam Pease, John P. McCrae
2014 A conf
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0.
IJCAR
Adam Pease, Stephan Schulz
2013 J jnl
Sigma: An integrated development environment for formal ontology.
AI Commun.
Adam Pease, Christoph Benzmüller
2012 J jnl
Higher-order aspects and context in SUMO.
J. Web Semant.
Christoph Benzmüller, Adam Pease
2010 J jnl
Large theory reasoning with SUMO at CASC.
AI Commun.
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
2010 — conf
Progress in Automating Higher-Order Ontology Reasoning.
PAAR@IJCAR
Christoph Benzmüller, Adam Pease
2008 C conf
A Call for Executable Linguistics Research.
PACLIC
Adam Pease
2008 — conf
Integrating YAGO into the Suggested Upper Merged Ontology.
ICTAI (1)
Gerard de Melo, Fabian M. Suchanek, Adam Pease
2008 — conf
Integration of the TPTPWorld into SigmaKEE.
PAAR/ESHOL
Steven Trac, Geoff Sutcliffe, Adam Pease
2008 — conf
The Annual SUMO Reasoning Prizes at CASC.
PAAR/ESHOL
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
2007 — conf
First Order Reasoning on a Large Ontology.
ESARLT
Adam Pease, Geoff Sutcliffe
2006 B conf
Building a WordNet for Arabic.
LREC
Sabry ElKateb, William Black, Horacio Rodríguez, Musa Alkhalifa, Piek Vossen, Adam Pease, Christiane Fellbaum
2006 C conf
Linking FrameNet to the Suggested Upper Merged Ontology.
FOIS
Jan Scheffczyk, Adam Pease, Michael Ellsworth
2004 Misc conf
Analogy and Deduction for Knowledge Discovery.
IKE
Jim Reynolds, Adam Pease, John Li
2003 — conf
Agent-Mediated Knowledge Engineering Collaboration.
AMKM
Adam Pease, John Li
2003 Misc conf
Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology.
IKE
Ian Niles, Adam Pease
2002 J jnl
AAAI 2002 Workshops.
AI Mag.
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
2002 J jnl
IEEE standard upper ontology: a progress report.
Knowl. Eng. Rev.
Adam Pease, Ian Niles
2001 — conf
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
Jay Halcomb, Adam Pease
2001 C conf
Towards a standard upper ontology.
FOIS
Ian Niles, Adam Pease
2000 A* conf
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project.
KR
Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar
1999 — conf
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?
AAAI/IAAI
Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag
1998 J jnl
The DARPA High-Performance Knowledge Bases Project.
AI Mag.
Paul R. Cohen, Robert Schrag, Eric K. Jones, Adam Pease, Albert Lin, Barbara Starr, David Gunning, Murray Burke