HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Negin Arhami

Publications
Automated Theorem Proving by Translation to Description Logic
Negin Arhami and Geoff Sutcliffe
EasyChair Preprint 126
Automated Theorem Proving by Translation to Description Logic
Negin Arhami and Geoff Sutcliffe
In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics
Negin Arhami and Geoff Sutcliffe
In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning

Keyphrases

automated theorem proving, Description Logics, EPR, first-order logic, logics2, theorem proving2, translation2.

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