Viviana Patti (patti-v)
Contributions to 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.