Description: home page of Adam Pease. This page lists links to projects and publications.
Publications Brown, C., Pease, A., and Urban, J., (2022). Embedding SUMO into Set Theory, AI in Theorem Proving (Abstract). Goertzel, Z., Pease, A., and Urban, J., (2022). Project Proposal: Formal Ethics Ontology in SUMO, AI in Theorem Proving (Abstract). Pease, A., and Schulz, S., (2022). Contradiction Detection and Repair a Large Theory, Proceedings of FLAIRS-35. Pease, A., Santos, P., and Rademaker, A., (2021). A Corpus of Spatial Reasoning Problems (abstract) , In Proceedings of AI in Theorem Proving (A
Publications Cheung-Pease, J., Pease, A., (2024). Quantitative Analysis of Clarification Discourse of Interpreter-Moderate Courtroom Using a Cantonese-English Bilingual Corpus . In Corpora in Interpreting Studies: East Asian Perspectives , ed Andrew K.F. Cheung, Kanglong Liu, Riccardo Moratto, Routledge, to appear. Groza, A., Lupu, D., and Pease, A. (2023). Cross-validation of Answers with SUMO and GPT, to appear. Pease, A., Urban, J., Hůla, J. (2023). Towards Open Domain English to Logic Translation, in Pr