William Snell

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Explanation Based Generalization

Linear Inequalities

Top Venues

Publications

William Snell, Dirk Pattinson, Florian Widmann
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). LPAR (2012)