2007 |
12 | EE | Steven Shapiro,
Gerhard Brewka:
Dynamic Interactions Between Goals and Beliefs.
Formal Models of Belief Change in Rational Agents 2007 |
11 | EE | Steven Shapiro,
Gerhard Brewka:
Dynamic Interactions between Goals and Beliefs.
IJCAI 2007: 2625-2630 |
10 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
Goal Change in the Situation Calculus.
J. Log. Comput. 17(5): 983-1018 (2007) |
2005 |
9 | EE | Steven Shapiro:
Belief Change with Noisy Sensing and Introspection.
Belief Change in Rational Agents 2005 |
8 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
Goal Change.
IJCAI 2005: 582-588 |
2004 |
7 | | Steven Shapiro,
Maurice Pagnucco:
Iterated Belief Change and Exogeneous Actions in the Situation Calculus.
ECAI 2004: 878-882 |
2003 |
6 | EE | Sebastian Sardiña,
Steven Shapiro:
Rational action in agent programs with prioritized goals.
AAMAS 2003: 417-424 |
2002 |
5 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
The cognitive agents specification language and verification environment for multiagent systems.
AAMAS 2002: 19-26 |
2001 |
4 | | Steven Shapiro,
Barnaby Richards,
Michael Rinow,
Timothy Schoechle:
Hybrid standards setting solutions for today's convergent telecommunications market.
SIIT 2001: 348-351 |
2000 |
3 | EE | Steven Shapiro,
Yves Lespérance:
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application.
ATAL 2000: 244-259 |
2 | | Steven Shapiro,
Maurice Pagnucco,
Yves Lespérance,
Hector J. Levesque:
Iterated Belief Change in the Situation Calculus.
KR 2000: 527-538 |
1997 |
1 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
Specifying Communicative Multi-Agent Systems (Invited Paper).
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 1-14 |