Leopolo E. Bertossi (bertossi)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bertossi, Leopolo E. and Ferretti, J. C. 1994. “SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 543–545. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Bertossi, Leopolo E. and Reiter, Raymond. 1994. “On the Concept of a Generic Object: A Nonmonotonic Reasoning Approach and Examples.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 346–363. Lecture Notes in Computer Science. Berlin: Springer.