Adam Pease

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 17

Top Topics

Spatial Relations

Ontology Matching

Top Venues

Cogn. Syst. Res.

Publications

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)
Adam Pease
Converting the Suggested Upper Merged Ontology to Typed First-order Form. CoRR (2023)
Dan Lupu, Adrian Groza, Adam Pease
Cross-validation of Answers with SUMO and GPT. KBC-LM/LM-KBC@ISWC (2023)
Chad Brown, Adam Pease, Josef Urban
Translating SUMO-K to Higher-Order Set Theory. CoRR (2023)
Chad E. Brown, Adam Pease, Josef Urban
Translating SUMO-K to Higher-Order Set Theory. FroCoS (2023)
Cássia Trojahn, Renata Vieira, Daniela Schmidt, Adam Pease, Giancarlo Guizzardi
Foundational ontologies meet ontology matching: A survey. Semantic Web 13 (4) (2022)
Adam Pease, Stephan Schulz
Contradiction Detection and Repair in a Large Theory. FLAIRS (2022)
Adam Pease
Choosing a Logic to Represent the Semantics of Natural Language. CLAR (2021)
Stephan Schulz, Adam Pease
Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). IJCAR (2) (2020)
Adam Pease
A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description). IJCAR (2) (2020)
Alexandre Tessarollo, Alexandre Rademaker, Adam Pease
Extending SUMO to Geological Times. ONTOBRAS (2019)
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)
Daniela Schmidt, Adam Pease, Cássia Trojahn, Renata Vieira
Aligning Conference Ontologies with SUMO: A Report on Manual Alignment via WordNet. JOWO (2019)
Adam Pease, Andrew Cheung
Toward a Semantic Concordancer. GWC (2018)
Stephen K. Reed, Adam Pease
Reasoning from imperfect knowledge. Cogn. Syst. Res. 41 (2017)
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE (2017)
Qingqing Cai, James Gung, Maochen Guan, Gerald Kurlandski, Adam Pease
Word Substitution in Short Answer Extraction: A WordNet-based Approach. GWC (2016)
Stephen K. Reed, Adam Pease
A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO. Cogn. Syst. Res. 33 (2015)
Adam Pease, Stephan Schulz
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. IJCAR (2014)
Francesca Quattri, Adam Pease, John P. McCrae
Default Physical Measurements in SUMO. CogALex@COLING (2014)
Adam Pease, Christoph Benzmüller
Sigma: An integrated development environment for formal ontology. AI Commun. 26 (1) (2013)
Christoph Benzmüller, Adam Pease
Higher-order aspects and context in SUMO. J. Web Semant. 12 (2012)
Christoph Benzmüller, Adam Pease
Progress in Automating Higher-Order Ontology Reasoning. PAAR@IJCAR (2010)
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
Large theory reasoning with SUMO at CASC. AI Commun. 23 (2-3) (2010)
Adam Pease
A Call for Executable Linguistics Research. PACLIC (2008)
Gerard de Melo, Fabian M. Suchanek, Adam Pease
Integrating YAGO into the Suggested Upper Merged Ontology. ICTAI (1) (2008)
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac
The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL (2008)
Steven Trac, Geoff Sutcliffe, Adam Pease
Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL (2008)
Adam Pease, Geoff Sutcliffe
First Order Reasoning on a Large Ontology. ESARLT (2007)
Sabry ElKateb, William Black, Horacio Rodríguez, Musa Alkhalifa, Piek Vossen, Adam Pease, Christiane Fellbaum
Building a WordNet for Arabic. LREC (2006)
Jan Scheffczyk, Adam Pease, Michael Ellsworth
Linking FrameNet to the Suggested Upper Merged Ontology. FOIS (2006)
Jim Reynolds, Adam Pease, John Li
Analogy and Deduction for Knowledge Discovery. IKE (2004)
Adam Pease, John Li
Agent-Mediated Knowledge Engineering Collaboration. AMKM (2003)
Ian Niles, Adam Pease
Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology. IKE (2003)
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) (2002)
Adam Pease, Ian Niles
IEEE standard upper ontology: a progress report. Knowl. Eng. Rev. 17 (1) (2002)
Ian Niles, Adam Pease
Towards a standard upper ontology. FOIS (2001)
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)
Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. KR (2000)
Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? AAAI/IAAI (1999)
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) (1998)