Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other

Erik Sandewall. Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. In Otthein Herzog, Thomas Christaller, Dieter Schütt, editors, Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu Berlin, 13.-16. September 1993, Proceedings. Informatik Aktuell, pages 107-124, Springer, 1993.

Abstract

Abstract is missing.