Negin Arhami

According to our database, Negin Arhami authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Automated Theorem Proving by Translation to Description Logic.

Negin Arhami, Geoff Sutcliffe

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

2014

The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Negin Arhami, Geoff Sutcliffe

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2012

Towards incorporating human intelligence into online security solutions.

Saman A. Zonouz, Robin Berthier, Negin Arhami

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012