Diego Calvanese (calvanese-d)

Contributi a Philosophie.ch

Bibliography

Calvanese, Diego. 1996. “Finite Model Reasoning in Description Logics.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 292–303. San Francisco, California: Morgan Kaufmann Publishers.
Calvanese, Diego and de Giacomo, Giuseppe. 2005. “Data Integration: A Logic-Based Perspective.” The AI Magazine 26(1): 59–70.
Calvanese, Diego, de Giacomo, Giuseppe, Lenzarini, Maurizio, Nardi, Daniele and Rosati, Riccardo. 1998. “Description Logic Framework for Knowledge Integration.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 2–13. San Francisco, California: Morgan Kaufmann Publishers.
Calvanese, Diego, de Giacomo, Giuseppe, Lenzerini, Maurizio and Vardi, Moshe Y. 2000. “Containment of Conjunctive Regular Path Queries with Inverse.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 176–185. San Francisco, California: Morgan Kaufmann Publishers.
Calvanese, Diego, de Giacomo, Giuseppe and Vardi, Moshe Y. 2002. “Reasoning about Action and Planning in LTL Action Theories.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 593–602. San Francisco, California: Morgan Kaufmann Publishers.
Thorne, Camilo and Calvanese, Diego. 2010. “The Data Complexity of the Syllogistic Fragments of English.” in Logic, Language and Meaning. 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009. Revised Selected Papers, edited by Maria Aloni, Harald Andreas Bastiaanse, Tikitu de Jager, and Katrin Schulz, pp. 114–123. Berlin: Springer, doi:10.1007/978-3-642-14287-1.