Search the dblp DataBase
Alfredo Gabaldon :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 2, 1996, pp:1350- [Conf ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 1, 1996, pp:652-657 [Conf ] Esra Erdem , Alfredo Gabaldon Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:627-632 [Conf ] Alfredo Gabaldon Non-Markovian Control in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2002, pp:519-0 [Conf ] Alfredo Gabaldon Precondition Control and the Progression Algorithm. [Citation Graph (0, 0)][DBLP ] ICAPS, 2004, pp:23-32 [Conf ] Alfredo Gabaldon Formalizing Complex Task Libraries in Golog. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:755-756 [Conf ] Alfredo Gabaldon Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:1061-1066 [Conf ] Esra Erdem , Alfredo Gabaldon Representing Action Domains with Numeric-Valued Fluents. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:151-163 [Conf ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP ] KR, 1996, pp:474-481 [Conf ] Alfredo Gabaldon Precondition Control and the Progression Algorithm. [Citation Graph (0, 0)][DBLP ] KR, 2004, pp:634-643 [Conf ] Iluju Kiringa , Alfredo Gabaldon Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. [Citation Graph (0, 0)][DBLP ] KRDB, 2003, pp:- [Conf ] Michael Gelfond , Alfredo Gabaldon From Functional Specifications to Logic Programms. [Citation Graph (0, 0)][DBLP ] ILPS, 1997, pp:355-369 [Conf ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:102, n:2, pp:163-186 [Journal ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:104, n:1-2, pp:107-164 [Journal ] Michael Gelfond , Alfredo Gabaldon Building a Knowledge Base: An Example. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:165-199 [Journal ] Alfredo Gabaldon , Hung T. Nguyen Exclusive OR Operation That Leads to the Narrowest Intervals. [Citation Graph (0, 0)][DBLP ] Reliable Computing, 1998, v:4, n:3, pp:303-306 [Journal ] Alfredo Gabaldon , Gerhard Lakemeyer ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:974-979 [Conf ] A Logic Programming System for Evolving Programs with Temporal Operators. [Citation Graph (, )][DBLP ] Evolving Logic Programming Based Agents with Temporal Operators. [Citation Graph (, )][DBLP ] Activity Recognition with Intended Actions. [Citation Graph (, )][DBLP ] A Novel Architecture for Situation Awareness Systems. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs