Benjamin Shults

According to our database, Benjamin Shults authored at least 4 papers between 1994 and 2001.

Collaborative distances:

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

2001

Identifying an appropriate view of software components for undergraduate education.

Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

1997

Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic.

Benjamin Shults, Benjamin Kuipers

Artif. Intell., 1997

A Framework for Using Knowledge in Tableau Proofs.

Benjamin Shults

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1994

Reasoning in Logic about Continuous Systems.

Benjamin Kuipers, Benjamin Shults

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994