Benjamin Shults

Publication Activity (10 Years)

Years Active: 1994-2001
Publications (10 Years): 0

Publications

Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide
Identifying an appropriate view of software components for undergraduate education. SIGCSE (2001)
Benjamin Shults, Benjamin Kuipers
Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. Artif. Intell. 92 (1-2) (1997)
Benjamin Shults
A Framework for Using Knowledge in Tableau Proofs. TABLEAUX (1997)
Benjamin Kuipers, Benjamin Shults
Reasoning in Logic about Continuous Systems. KR (1994)