Benjamin Susman

According to our database, Benjamin Susman authored at least 4 papers between 2015 and 2017.

Collaborative distances:

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

2017

On relation between constraint answer set programming and satisfiability modulo theories.

Yuliya Lierler, Benjamin Susman

Theory Pract. Log. Program., 2017

2016

Constraint Answer Set Programming versus Satisfiability Modulo Theories.

Yuliya Lierler, Benjamin Susman

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

SMT-Based Constraint Answer Set Solver EZSMT (System Description).

Benjamin Susman, Yuliya Lierler

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help.

Daniel Bailey, Yuliya Lierler, Benjamin Susman

Proceedings of the 11th International Conference on Computational Semantics, 2015