Matteo Baldoni (baldoni)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Baldoni, Matteo, Giordano, Laura and Martelli, Alberto. 1998. “A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.” Journal of Logic and Computation 8(5): 597–635.
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.