Search the dblp DataBase

Publications of Author

1. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
   On Ability to Autonomously Execute Agent Programs with Sensing. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2004, pp:1522-1523 [Conf]
   
2. Sebastian Sardiña, Steven Shapiro
   Rational action in agent programs with prioritized goals. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:417-424 [Conf]
   
3. Sebastian Sardiña, Lavindra de Silva, Lin Padgham
   Hierarchical planning in BDI agent programming languages: a formal approach. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2006, pp:1001-1008 [Conf]
   
4. John Thangarajah, Lin Padgham, Sebastian Sardiña
   Modelling situations in intelligent agents. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2006, pp:1049-1051 [Conf]
   
5. Giuseppe De Giacomo, Sebastian Sardiña
   Automatic Synthesis of New Behaviors from a Library of Available Behaviors. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:1866-1871 [Conf]
   
6. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
   On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. [Citation Graph (0, 0)][DBLP]
   KR, 2002, pp:603-614 [Conf]
   
7. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
   On the Limits of Planning over Belief States under Strict Uncertainty. [Citation Graph (0, 0)][DBLP]
   KR, 2006, pp:463-471 [Conf]
   
8. Sebastian Sardiña
   Local Conditional High-Level Robot Programs. [Citation Graph (0, 0)][DBLP]
   LPAR, 2001, pp:110-124 [Conf]
   
9. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
   On the Semantics of Deliberation in Indigolog - from Theory to Implementation. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:259-299 [Journal]
   
10. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
    Incremental execution of guarded theories. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:495-525 [Journal]
    
11. Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
    Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1063-1069 [Conf]
    
12. 
    Two-Player Game Structures for Generalized Planning and Agent Composition. [Citation Graph (, )][DBLP]
    
    
13. 
    Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. [Citation Graph (, )][DBLP]
    
    
14. 
    Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. [Citation Graph (, )][DBLP]
    
    
15. 
    Goals in the context of BDI plan failure and planning. [Citation Graph (, )][DBLP]
    
    
16. 
    First principles planning in BDI systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Learning context conditions for BDI plan selection. [Citation Graph (, )][DBLP]
    
    
18. 
    Agent programming via planning programs. [Citation Graph (, )][DBLP]
    
    
19. 
    Composition of ConGolog Programs. [Citation Graph (, )][DBLP]
    
    
20. 
    Behavior Composition in the Presence of Failure. [Citation Graph (, )][DBLP]
    
    
21. 
    Generalized Planning with Loops under Strong Fairness Constraints. [Citation Graph (, )][DBLP]
    
    
22. 
    Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. [Citation Graph (, )][DBLP]