Viviana Patti (patti-v)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Baldoni, Matteo, Giordano, Laura, Martelli, Alberto and Patti, Viviana. 1996. “An Abductive Proof Procedure for Reasoning about Actions in Modal Logic Programming.” in Extensions of Logic Programming: 5th International Workshop, Leipzig, Germany, March 28-30, 1996, edited by Roy Dyckhoff, Heinrich Herre, and Peter Schröder-Heister, pp. 19–33. Lecture Notes in Computer Science n. 1050. Berlin: Springer.