The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alfredo Gabaldon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Esra Erdem, Alfredo Gabaldon
    Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:627-632 [Conf]
  4. Alfredo Gabaldon
    Non-Markovian Control in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:519-0 [Conf]
  5. Alfredo Gabaldon
    Precondition Control and the Progression Algorithm. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:23-32 [Conf]
  6. Alfredo Gabaldon
    Formalizing Complex Task Libraries in Golog. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:755-756 [Conf]
  7. Alfredo Gabaldon
    Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1061-1066 [Conf]
  8. Esra Erdem, Alfredo Gabaldon
    Representing Action Domains with Numeric-Valued Fluents. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:151-163 [Conf]
  9. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:474-481 [Conf]
  10. Alfredo Gabaldon
    Precondition Control and the Progression Algorithm. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:634-643 [Conf]
  11. Iluju Kiringa, Alfredo Gabaldon
    Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. [Citation Graph (0, 0)][DBLP]
    KRDB, 2003, pp:- [Conf]
  12. Michael Gelfond, Alfredo Gabaldon
    From Functional Specifications to Logic Programms. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:355-369 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]

  18. A Logic Programming System for Evolving Programs with Temporal Operators. [Citation Graph (, )][DBLP]


  19. Evolving Logic Programming Based Agents with Temporal Operators. [Citation Graph (, )][DBLP]


  20. Activity Recognition with Intended Actions. [Citation Graph (, )][DBLP]


  21. A Novel Architecture for Situation Awareness Systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002