dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Steven Shapiro (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated belief change in the situation calculus. Artif. Intell. 175(1): 165-192 (2011)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change. IJCAI 2005: 582-588
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance, Hector J. Levesque: The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance: Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. ATAL 2000: 244-259
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated Belief Change in the Situation Calculus. KR 2000: 527-538
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven 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

Selection of 7 from 14 records - Steven Shapiro has 11 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page