Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/baldoni

Matteo Baldoni (baldoni)

Contributions to 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.