Negin Arhami

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Fundamental Questions

Human Intelligence

Automated Theorem Proving

Answer Set Programming

Top Venues

LPAR (short papers)

Publications

Negin Arhami, Geoff Sutcliffe
Automated Theorem Proving by Translation to Description Logic. LPAR (short papers) (2015)
Negin Arhami, Geoff Sutcliffe
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. PAAR@IJCAR (2014)
Saman A. Zonouz, Robin Berthier, Negin Arhami
Towards incorporating human intelligence into online security solutions. DSN Workshops (2012)