HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Adam Pease

Publications
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

Keyphrases

application in ontology reasoning, Boolean extensionality and modalities, higher-order theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.