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