Angelo Montanari (montanari-a)

Contributi a Philosophie.ch

Bibliography

van Benthem, Johan, D’Agostino, Giovanna, Montanari, Angelo and Policriti, Alberto. 1998. “Modal Deduction in Second-Order Logic and Set-Theory – II.” Studia Logica: An International Journal for Symbolic Logic 60: 387–420.
Cervesato, Iliano, Franceschet, Massimo and Montanari, Angelo. 1998. “The Complexity of Model Checking in Modal Event Calculi with Quantifiers.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 368–379. San Francisco, California: Morgan Kaufmann Publishers.
Francheset, Massimo and Montanari, Angelo. 1999. “Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 79–86. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Montanari, Angelo. 1994. “A Metric and Layered Temporal Logic for Time Granularity, Synchrony and Asynchrony.” in Temporal Logic. Proceedings of the ICTL Workshop, edited by Hans Jürgen Ohlbach, pp. 49–58. Saarbrücken: Max-Planck-Institut für Informatik.
Montanari, Angelo, Policriti, Alberto and Slanina, Matteo. 2000. “Supporting Automated Deduction in First-Order Modal Logics.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 547–556. San Francisco, California: Morgan Kaufmann Publishers.