| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 194 |       | Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise: On supervising agents in situation-determined ConGolog. AAMAS 2012: 1031-1038 |
| 192 | | Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi: Bounded Situation Calculus Action Theories and Decidable Verification. KR 2012 |
| 181 | | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832 |
| 172 | | Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce: Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010 |
| 163 | | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352 |
| 159 | | Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484 |
| 128 |  | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Limits of Planning over Belief States under Strict Uncertainty. KR 2006: 463-471 |
| 108 | | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523 |
| 98 | | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004) |
| 79 | | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña: On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002: 603-614 |
| 55 | | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2): 109-169 (2000) |
| 23 | | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226 |
Selection of 12 from 195 records - Giuseppe De Giacomo has 66 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page