Author:Adam Pease

Publications
Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop Theodore Kim and Adam Pease In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Progress in Automating Higher-Order Ontology Reasoning Christoph Benzmüller and Adam Pease In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning