Sean Sovine

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Document Summarization

Situation Calculus

Prime Implicates

Top Venues

Arch. Math. Log.

FLAIRS Conference

Publications

Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The modal logic of Reverse Mathematics. Arch. Math. Log. 54 (3-4) (2015)
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The modal logic of Reverse Mathematics. CoRR (2014)
Sean Sovine, Hyoil Han
A Computationally Efficient System for High-Performance Multi-Document Summarization. FLAIRS Conference (2013)