| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Alfredo Gabaldon Alfredo Gabaldon: Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. IJCAI 2003 : 1061-1066 Iluju Kiringa , Alfredo Gabaldon: Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. KRDB 2003 Alfredo Gabaldon: Non-Markovian Control in the Situation Calculus. AAAI/IAAI 2002 : 519- Michael Gelfond , Alfredo Gabaldon: Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. 25 (3-4): 165-199 (1999) Chitta Baral , Alfredo Gabaldon, Alessandro Provetti : Value Minimization in Circumscription. Artif. Intell. 102 (2): 163-186 (1998) Chitta Baral , Alfredo Gabaldon, Alessandro Provetti : Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104 (1-2): 107-164 (1998) Michael Gelfond , Alfredo Gabaldon: From Functional Specifications to Logic Programms. ILPS 1997 : 355-369 Chitta Baral , Alfredo Gabaldon, Alessandro Provetti : Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996 : 652-657 Chitta Baral , L. 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 Chitta Baral , Alfredo Gabaldon, Alessandro Provetti : Value Minimization in Circumscription. KR 1996 : 474-481 1 [ 1 ] [ 2 ] [ 3 ] [ 5 ] [ 6 ] 2 [ 2 ] 3 [ 4 ] [ 7 ] 4 [ 9 ] 5 [ 2 ] 6 [ 1 ] [ 3 ] [ 5 ] [ 6 ] 7 [ 2 ] 8 [ 2 ]  ©2004 Association for Computing Machinery |
