Steven Shapiro

16 papers A* 3A 4Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2012 A conf
Revising conflicting intention sets in BDI agents.
AAMAS
Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, Lin Padgham
2011 J jnl
Iterated belief change in the situation calculus.
Artif. Intell.
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
2011 J jnl
Peripheral blood gene expression profiles in COPD subjects.
J. Clin. Bioinform.
Soumyaroop Bhattacharya, Shivraj Tyagi, Sorachai Srisuma, Dawn L. DeMeo, Steven Shapiro, Raphael Bueno, Edwin K. Silverman, John J. Reilly, Thomas J. Mariani
2007 — conf
Dynamic Interactions Between Goals and Beliefs.
Formal Models of Belief Change in Rational Agents
Steven Shapiro, Gerhard Brewka
2007 A* conf
Dynamic Interactions between Goals and Beliefs.
IJCAI
Steven Shapiro, Gerhard Brewka
2007 J jnl
Goal Change in the Situation Calculus.
J. Log. Comput.
Steven Shapiro, Yves Lespérance, Hector J. Levesque
2005 — conf
Belief Change with Noisy Sensing and Introspection.
Belief Change in Rational Agents
Steven Shapiro
2005 A* conf
Goal Change.
IJCAI
Steven Shapiro, Yves Lespérance, Hector J. Levesque
2005 — —
Specifying and verifying multiagent systems using the cognitive agents specification language (CASL).
Steven Shapiro
2004 A conf
Iterated Belief Change and Exogeneous Actions in the Situation Calculus.
ECAI
Steven Shapiro, Maurice Pagnucco
2003 A conf
Rational action in agent programs with prioritized goals.
AAMAS
Sebastian Sardiña, Steven Shapiro
2002 A conf
The cognitive agents specification language and verification environment for multiagent systems.
AAMAS
Steven Shapiro, Yves Lespérance, Hector J. Levesque
2001 — conf
Hybrid standards setting solutions for today's convergent telecommunications market.
SIIT
Steven Shapiro, Barnaby Richards, Michael Rinow, Timothy Schoechle
2000 A* conf
Iterated Belief Change in the Situation Calculus.
KR
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
2000 — conf
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application.
ATAL
Steven Shapiro, Yves Lespérance
1997 — conf
Specifying Communicative Multi-Agent Systems (Invited Paper).
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Steven Shapiro, Yves Lespérance, Hector J. Levesque