| 2007 | ||
|---|---|---|
| 17 | Alfredo Gabaldon, Gerhard Lakemeyer: ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007: 974-979 | |
| 2006 | ||
| 16 | Alfredo Gabaldon: Formalizing Complex Task Libraries in Golog. ECAI 2006: 755-756 | |
| 15 | EE | Esra Erdem, Alfredo Gabaldon: Representing Action Domains with Numeric-Valued Fluents. JELIA 2006: 151-163 |
| 2005 | ||
| 14 | Esra Erdem, Alfredo Gabaldon: Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. AAAI 2005: 627-632 | |
| 2004 | ||
| 13 | Alfredo Gabaldon: Precondition Control and the Progression Algorithm. ICAPS 2004: 23-32 | |
| 12 | Alfredo Gabaldon: Precondition Control and the Progression Algorithm. KR 2004: 634-643 | |
| 2003 | ||
| 11 | Alfredo Gabaldon: Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. IJCAI 2003: 1061-1066 | |
| 10 | EE | Iluju Kiringa, Alfredo Gabaldon: Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. KRDB 2003 |
| 2002 | ||
| 9 | Alfredo Gabaldon: Non-Markovian Control in the Situation Calculus. AAAI/IAAI 2002: 519- | |
| 1999 | ||
| 8 | Michael Gelfond, Alfredo Gabaldon: Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. 25(3-4): 165-199 (1999) | |
| 1998 | ||
| 7 | EE | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998) |
| 6 | EE | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998) |
| 5 | EE | Alfredo Gabaldon, Hung T. Nguyen: Exclusive OR Operation That Leads to the Narrowest Intervals. Reliable Computing 4(3): 303-306 (1998) |
| 1997 | ||
| 4 | Michael Gelfond, Alfredo Gabaldon: From Functional Specifications to Logic Programms. ILPS 1997: 355-369 | |
| 1996 | ||
| 3 | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657 | |
| 2 | Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson: A Reactive Mobile Robot Based on a Formal Theory of Action. AAAI/IAAI, Vol. 2 1996: 1350 | |
| 1 | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. KR 1996: 474-481 | |
| 1 | Chitta Baral | [1] [2] [3] [6] [7] |
| 2 | Esra Erdem | [14] [15] |
| 3 | Luis Floriano | [2] |
| 4 | Michael Gelfond | [4] [8] |
| 5 | Iluju Kiringa | [10] |
| 6 | Gerhard Lakemeyer | [17] |
| 7 | David Morales | [2] |
| 8 | Hung T. Nguyen | [5] |
| 9 | Alessandro Provetti | [1] [3] [6] [7] |
| 10 | Tran Cao Son | [2] |
| 11 | Richard G. Watson | [2] |
Colors in the list of coauthors