2008 |
14 | | Sebastian Sardiña,
Giuseppe De Giacomo:
Realizing Multiple Autonomous Agents through Scheduling of Shared Devices.
ICAPS 2008: 304-312 |
13 | | Sebastian Sardiña,
Fabio Patrizi,
Giuseppe De Giacomo:
Behavior Composition in the Presence of Failure.
KR 2008: 640-650 |
2007 |
12 | | Sebastian Sardiña,
Fabio Patrizi,
Giuseppe De Giacomo:
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.
AAAI 2007: 1063-1069 |
11 | EE | Sebastian Sardiña,
Lin Padgham:
Goals in the context of BDI plan failure and planning.
AAMAS 2007: 7 |
10 | EE | Giuseppe De Giacomo,
Sebastian Sardiña:
Automatic Synthesis of New Behaviors from a Library of Available Behaviors.
IJCAI 2007: 1866-1871 |
2006 |
9 | EE | Sebastian Sardiña,
Lavindra de Silva,
Lin Padgham:
Hierarchical planning in BDI agent programming languages: a formal approach.
AAMAS 2006: 1001-1008 |
8 | EE | John Thangarajah,
Lin Padgham,
Sebastian Sardiña:
Modelling situations in intelligent agents.
AAMAS 2006: 1049-1051 |
7 | | Sebastian Sardiña,
Giuseppe De Giacomo,
Yves Lespérance,
Hector J. Levesque:
On the Limits of Planning over Belief States under Strict Uncertainty.
KR 2006: 463-471 |
2004 |
6 | EE | Sebastian Sardiña,
Giuseppe De Giacomo,
Yves Lespérance,
Hector J. Levesque:
On Ability to Autonomously Execute Agent Programs with Sensing.
AAMAS 2004: 1522-1523 |
5 | EE | Sebastian Sardiña,
Giuseppe De Giacomo,
Yves Lespérance,
Hector J. Levesque:
On the Semantics of Deliberation in Indigolog - from Theory to Implementation.
Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004) |
2003 |
4 | EE | Sebastian Sardiña,
Steven Shapiro:
Rational action in agent programs with prioritized goals.
AAMAS 2003: 417-424 |
2002 |
3 | | Giuseppe De Giacomo,
Yves Lespérance,
Hector J. Levesque,
Sebastian Sardiña:
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation.
KR 2002: 603-614 |
2001 |
2 | EE | Sebastian Sardiña:
Local Conditional High-Level Robot Programs.
LPAR 2001: 110-124 |
1 | EE | Giuseppe De Giacomo,
Hector J. Levesque,
Sebastian Sardiña:
Incremental execution of guarded theories.
ACM Trans. Comput. Log. 2(4): 495-525 (2001) |