Publications

• Pease, A., A Call for Executable Linguistic Research. To appear.
• Gerard de Melo, Fabian Suchanek and Adam Pease (2008). Integrating YAGO into the Suggested Upper Merged Ontology. To appear.
• Trac, S., Sutcliffe, G., and Pease, A., (2008) Integration of the TPTPWorld into SigmaKEE. Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008). Volume 373 of the CEUR Workshop Proceedings.
• Pease, A., Sutcliffe, G., Siegel, N., and Trac, S., (2008) The Annual SUMO Reasoning Prizes at CASC. Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008). Volume 373 of the CEUR Workshop Proceedings.
• Pease, A., and Rust, G., (2008) Formal Ontology for Media Rights Transactions, in Semantic Web Methodologies for E-Business Applications, ed. Roberto Garcia. IGI publishing, to appear.
• Pease, A., Fellbaum, C., and Vossen, P., (2008) Building the Global WordNet Grid. Proceedings of the CIL-18 Workshop on Linguistic Studies of Ontology, Seoul, South Korea.
• Pease, A., and Li, J. (2008) Controlled English to Logic Translation. In Theory and Applications of Ontology, ed. Michael Healy, Achilles Kameas, and Roberto Poli, to appear.
• Pease, A., and Sutcliffe, G., (2007) First Order Reasoning on a Large Ontology, in Proceedings of the CADE-21 workshop on Empirically Successful Automated Reasoning on Large Theories (ESARLT).
• Elkateb, S., Farreres, J., Fellbaum, C., Pease, A., and Black, W., (2006). Arabic WordNet: A Linguistic Resource with a Deep Formal Semantic Foundation, in Proceedings of the 6th International conference on Language Engineeing, Cairo.
• Scheffczyk, J., Pease, A., Ellsworth, M., (2006). Linking FrameNet to the Suggested Upper Merged Ontology, in Proceedings of Formal Ontology in Information Systems (FOIS-2006), B. Bennett and C. Fellbaum, eds, IOS Press, pp 289-300.
• Pease, A., and Fellbaum, C., (in press) Formal Ontology as Interlingua: The SUMO and WordNet Linking Project and GlobalWordNet, In: Huang, C. R. and Prevot, L. (Eds.) Ontologies and Lexical Resources. Cambridge: Cambridge University Press.
• Elkateb, S., Black, W., Rodriguez, H, Alkhalifa, M., Vossen, P., Pease, A. and Fellbaum, C., (2006). Building a WordNet for Arabic, in Proceedings of The fifth international conference on Language Resources and Evaluation (LREC 2006).
• Black, W., Elkateb, S., Rodriguez, H, Alkhalifa, M., Vossen, P., Pease, A. and Fellbaum, C., (2006). Introducing the Arabic WordNet Project, in Proceedings of the Third International WordNet Conference, Sojka, Choi, Fellbaum and Vossen eds.
• Nickles, M., Pease, A., Schalley, A., and Zaefferer, D., (2006). Ontologies across disciplines. In: Schalley, Andrea C. & Zaefferer, D. (ed.): Ontolinguistics. How Ontological Status Shapes the Linguistic Coding of Concepts. in Vorbereitung Berlin, New York (Mouton de Gruyter), ISBN 978-3-11-018997-1.
• Pease, A., (2006). Formal representation of concepts: The Suggested Upper Merged Ontology and its use in linguistics. In: Schalley, Andrea C. & Zaefferer, D. (ed.): Ontolinguistics. How Ontological Status Shapes the Linguistic Coding of Concepts. in Vorbereitung Berlin, New York (Mouton de Gruyter), ISBN 978-3-11-018997-1.
• Gordon, T., and Pease, A., (2006). RT Delphi: An Efficient, "Round-less", Almost Real Time Delphi Method. In Technological Forecasting and Social Change 73, pp 321-333.
• Reynolds, J., Pease, A., and Li, J., (2004). Analogy and Deduction for Knowledge Discovery, in Proceedings of the IEEE 2004 International Conference on Information and Knowledge Engineering, Las Vegas, NV.
• Pease, A., and Li, J., (2004). Agent-Mediated Knowledge Engineering Collaboration. In Agent Mediated Knowledge Management International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003, Revised and Invited Papers Series: Lecture Notes in Computer Science Series: Lecture Notes in Artificial Intelligence Elst, Luder van; Dignum, Virginia; Abecker, Andreas (Eds.) 2004, XI, 428 p. ISBN: 3-540-20868-2. Originally appeared as
  • Pease, A., and Li, J., (2003). Agent-Mediated Knowledge Engineering Collaboration. In Proceedings of the AAAI 2003 Spring Symposium on Agent-Mediated Knowledge Management. AAAI Technical report SS-03-01.
• Pease, A., and Fellbaum, C., (2004). Language to Logic Translation with PhraseBank, in Proceedings of the Second International WordNet Conference (GWC 2004), Petr Sojka, Karel Pala, Pavel Smrz, Christiane Fellbaum and Piek Vossen, eds. Masaryk University Brno, Czech Republic, pp 187-192.
• Pease, A., and Murray, W., (2003). An English to Logic Translator for Ontology-based Knowledge Representation Languages. In Proceedings of the 2003 IEEE International Conference on Natural Language Processing and Knowledge Engineering, Beijing, China, pp 777-783.
• Pease, A., (2003). The Sigma Ontology Development Environment, in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems. Volume 71 of CEUR Workshop Proceeding series.
• Niles, I., and Pease, A., (2003). Linking Lexicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology, Proceedings of the IEEE International Conference on Information and Knowledge Engineering, pp 412-416.
• Murray, W.R., Pease, A., and Sams, M. (2003). Applying Formal Methods and Representations in a Natural Language Tutor to Teach Tactical Reasoning. In Proceedings of the 11th International Conference on Artificial Intelligence in Education (AIED) conference, Sydney. pp 349-356. IOS Publications.
• Pease, A., (2003). Mapping Linguistic Elements to Logical Expressions (abstract), Workshop on Ontological Knowledge and Linguistic Coding at the 25th annual meeting of the German Linguistics Society (Deutsche Gesellschaft fur Sprachwissenschaft).
• Pease, A., (2002) Why Use DAML? DAML.org Whitepaper.
• Pease, A., Niles, I., Li, J., (2002), The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications, in Working Notes of the AAAI-2002 Workshop on Ontologies and the Semantic Web.
• Pease, A., Niles, I., (2002), Practical Semiotics: A Formal Theory, Proceedings of the IEEE 2002 International Conference on Information and Knowledge Engineering, Las Vegas, NV, pp 3-7.
• Pease, A., Niles, I., (2002), IEEE Standard Upper Ontology: A Progress Report, Knowledge Engineering Review, Special Issue on Ontologies and Agents, Vol 17.
• Pease, A., (2001), Evaluation of Intelligent Systems: The High Performance Knowledge Bases and IEEE Standard Upper Ontology Projects, invited position paper, in Proceedings of the 2001 workshop on Measuring Performance and Intelligence Of Intelligent Systems (PERMIS 2001).
• Niles, I., & Pease, A., (2001), Toward a Standard Upper Ontology, in Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds..
• Li, J., Pease, A., Barbee, C., (2001), Performance of Semantic Search, Teknowledge Technical report, June 15, 2001.
• Pease, A., Liuzzi, R., & Gunning, D., (2001), Knowledge Bases, in Encylopedia of Software Engineering, Second Edition, ed. J Marciniak, Wiley & Sons, NY.
• Niles, I., & Pease, A., (2001), Origins of the IEEE Standard Upper Ontology, in Working Notes of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology.
• Halcomb, J. & Pease, A., (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), in Working Notes of the AAAI Spring Symposium 2001 Workshop on Answer Set Programming.
• Pease, A., Chaudhri, V., Lehmann, F., and Farquhar, A., (2000), Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project, In A. Cohn, F. Giunchiglia, and B. Selman, editors, KR-2000: Proceedings of the Conference on Knowledge Representation and Reasoning. Breckenridge, CO, USA, 12-15 April 2000, San Mateo, CA, 2000. Morgan Kaufmann.
• Li, J., Condoravdi, C., and Pease, A., (2000), From Visual to Logical Representation: A GIS-Based Sketching Tool for Reasoning about Plans, Teknowledge Technical report, January 9.
• Cohen, P., Chaudhri, V., Pease A., and Schrag, R. (1999), Does Prior Knowledge Facilitate the Development of Knowledge Based Systems, In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-1999). Menlo Park, Calif.: AAAI Press.
• Cohen, P., Schrag, R., Jones, E., Pease, A., Lin, A., Starr, B., Gunning, D., and Burke, M. (1998), The DARPA High Performance Knowledge Bases Project, AI Magazine, Vol. 19 No.4, Winter.
• Pease, A., (1998), "The Warplan: A Method Independent Plan Schema", In L. de Barros, R. Benjamins, Y. Shahar, A. Tate, and A. Valente, editors, Proceedings of the AIPS 1998 Workshop on Knowledge Engineering and Acquisition for Planning. AAAI Technical Report WS-98-03.
• Pease, A., (1998), Using Large Ontologies to Enable Semantic Interoperability of Problem Solvers, Teknowledge technical report, March 28.
• Pease, A., & Carrico, T., (1997), "JTF-ATD Core Plan Representation: A Progress Report" Proceedings of the AAAI Spring Symposium on Ontological Engineering.
• Pease, A., & Carrico, T., (1997), Object Modelling Working Group Core Plan Representation, Armstrong Lab, AL/HR-TP-96-9631.
• Pease, A., (1995), Case-MIDAS: A Reactive Planning Architecture for the Man-machine Interactive Design and Analysis System, in Proceedings of AIAA Computing in Aerospace 10.
• Pease, A., & Proffitt, J., (1993), The Signal Loss Advisor: A Knowledge Based Command Decision Aid, in Proceedings of IEEE Oceans 1993.
• Proffitt, J., & Pease, A., (1992), A Knowledge Based Approach to Signal Loss Analysis, in Proceedings of the 9th Annual Conference on Command and Control Decision Aids.
• Becker, L., Duckworth, J., Green, P., Michalson, W., Gosselin, D., Nainani, K., & Pease, A., (1991), "Translating Expert System Rules into Ada Code with Validation and Verification", NASA Contractor Report 187505.
• Pease, A., (1990), Evidence Flow Graph Representations for Expert Systems, M.S. Thesis, Worcester Polytechnic Institute.
• Becker, Green, Duckworth, Bhatnager & Pease, (1989), "Evidence Flow Graphs for VV&T", Proceedings of the IJCAI workshop on Verification and Validation.

Organizational activities

• Chair of the AAAI-2002 Workshop on Ontologies and the Semantic Web (see AI Magazine short article)
• Chair of the AAAI-SSS-2002 panel on large knowledge bases
• Chair of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology
• Board member of the Global WordNet Association
• I am or have been a reviewer for ISWC-07 ESARLT, Journal of Universal Computer Science, IJCNLP05, IEEE Intelligent Systems, CIL-18, IEEE Transactions on Knowledge and Data Engineering, Global Wordnet 2006, LREC2004, IJCNLP 2004, AIEDAM, Kluwer Academic Publishers, ISWC-03, IJCAI-03, IJCAI-03 Workshop on Ontologies, and others

Speaking engagements (outside of academic conferences)

• Microsoft Linguistics Summer School 2007
• Semantic Technology 2007
• Semantic Technology 2006
• Semantic Interoperability 2005
• Semantic Technology 2005

Personal Information