| 2008 |
|---|
| 18 | EE | José Júlio Alferes,
Alfredo Gabaldon,
João Leite:
Evolving Logic Programming Based Agents with Temporal Operators.
IAT 2008: 238-244 |
| 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 |
