Luca Console (console)

Contributi a Philosophie.ch

Bibliography

Brusoni, Vittorio, Console, Luca and Terenziani, Paolo. 1995. “On the Computational Complexity of Querying Bounds on Differences Constraints.” Artificial Intelligence 74(2): 367–379.
Brusoni, Vittorio, Console, Luca, Terenziani, Paolo and Dupré, Daniele Theseider. 1998. “A Spectrum of Definitions for Temporal Model-Based Diagnosis.” Artificial Intelligence 102(1): 39–79.
Console, Luca, Giordana, A. and Saitta, L. 1991. “Investigating the Relation between Abductions and Inverse Resolution in Propositional Calculus.” in Methodologies for Intelligent Systems: Proceedings of the Sixth International Symposium, edited by Zbigniew Raś and Maria Zemankova, pp. 316–325. Amsterdam: North-Holland Publishing Co.
Console, Luca and Ribaudo, Marina. 2002. “Process Algebras for Systems Diagnosis.” Artificial Intelligence 142(1): 19–51.