Alberto Martelli (martelli-a)

Beiträge zu Philosophie.ch

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.
Giordano, Laura and Martelli, Alberto. 1994. “On Cumulative Default Logics.” Artificial Intelligence 66(1): 161–179.
Giordano, Laura, Martelli, Alberto and Schwind, Camilla B. 1998. “Dealing with Concurrent Actions in Modal Action Logic.” in ECAI-98. Proceedings of the Thirteenth European Conference on Artificial Intelligence, edited by Henri Prade, pp. 537–541. Hoboken, New Jersey: John Wiley; Sons, Inc.
Martelli, Alberto. 1977. “On the Complexity of Admissible Search Algorithms.” Artificial Intelligence 8(1): 1–13.