Giuseppe de Giacomo (degiacomo)

Contributions to Philosophie.ch

Bibliography

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.
Chen, Xiao Jun and de Giacomo, Giuseppe. 1999. “Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.” Artificial Intelligence 107(1): 63–98.
de Giacomo, Giuseppe. 1996. “Eliminating ‘Converse’ from Converse PDL.” Journal of Logic, Language, and Information 5(2): 193–208.
de Giacomo, Giuseppe, Iocchi, Luca, Nardi, Daniele and Rosati, Riccardo. 1996. “Moving a Robot: The KR&R Approach at Work.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 198–209. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe and Lenzerini, Maurizio. 1994. “Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 332–346. Lecture Notes in Computer Science. Berlin: Springer.
de Giacomo, Giuseppe and Lenzerini, Maurizio. 1995. “What’s in an Aggregate: Foundations for Description Logics with Tuples and Sets.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 801–807. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe and Lenzerini, Maurizio. 1996. “TBox and ABox Reasoning in Expressive Description Logics.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 316–327. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe, Lespérance, Yves and Levesque, Hector J. 1997. “Reasoning about Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.” in IJCAI-97. Proceedings of the 15th International Joint Conference on Artificial Intelligence, edited by Michael P. Georgeff and Martha E. Pollack, pp. 1221–1226. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe, Lésperance, Yves and Levesque, Hector J. 2000. “ConGolog, a Concurrent Programming Language based on Situation Calculus.” Artificial Intelligence 121(1–2): 109–169.
de Giacomo, Giuseppe, Lésperance, Yves, Levesque, Hector J. and Sardiña, Sebastian. 2002. “On the Semantics of Deliberation in IndiGolog–from Theory to Implementation.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 603–614. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe and Levesque, Hector J. 2000. “Two Approaches to Efficient Open-World Reasoning.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 59–78. Dordrecht: Kluwer Academic Publishers.
de Giacomo, Giuseppe, Reiter, Raymond and Soutchanski, Mikhail. 1998. “Execution Monitoring of High-Level Robot Plans.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 453–464. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe and Rosali, Riccardi. 1999. “Minimal Knowledge Approach to Reasoning about Actions and Sensing.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 25–32. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.