Adam Pease
Orcid: 0000-0001-9772-1266Affiliations:
- Articulate Software, San Francisco, CA, USA
According to our database1,
Adam Pease
authored at least 41 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
On csauthors.net:
Bibliography
2024
Proceedings of the AAAI 2024 Spring Symposium Series, 2024
2023
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
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
2022
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022
2021
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
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the XII Seminar on Ontology Research in Brazil and III Doctoral and Masters Consortium on Ontologies, 2019
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
Proceedings of the 9th Global Wordnet Conference, 2018
2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Proceedings of the 8th Global WordNet Conference, 2016
2015
Cogn. Syst. Res., 2015
2014
Proceedings of the 4th Workshop on Cognitive Aspects of the Lexicon, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
Proceedings of the Towards the Multilingual Semantic Web, 2014
2013
2012
2010
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
2008
Proceedings of the 22nd Pacific Asia Conference on Language, Information and Computation, 2008
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008
2007
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007
2006
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006
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
Proceedings of the Agent Mediated Knowledge Management, 2003
2002
2001
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
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999
1998