Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/shults-b

Benjamin Shults (shults-b)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Kuipers, Benjamin J. and Shults, Benjamin. 1994. “Reasoning in Logic about Continuous Systems.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 391–402. San Francisco, California: Morgan Kaufmann Publishers.
    Shults, Benjamin and Kuipers, Benjamin J. 1997. “Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic.” Artificial Intelligence 92(1–2): 91–129.