Steven Shapiro

According to our database1, Steven Shapiro authored at least 14 papers between 1997 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Revising conflicting intention sets in BDI agents.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Peripheral blood gene expression profiles in COPD subjects.
J. Clin. Bioinform., 2011

Iterated belief change in the situation calculus.
Artif. Intell., 2011

2007
Goal Change in the Situation Calculus.
J. Log. Comput., 2007

Dynamic Interactions between Goals and Beliefs.
Proceedings of the IJCAI 2007, 2007

2005
Specifying and verifying multiagent systems using the cognitive agents specification language (CASL).
PhD thesis, 2005

Goal Change.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Belief Change with Noisy Sensing and Introspection.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

2004
Iterated Belief Change and Exogeneous Actions in the Situation Calculus.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Rational action in agent programs with prioritized goals.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
The cognitive agents specification language and verification environment for multiagent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Hybrid standards setting solutions for today's convergent telecommunications market.
Proceedings of the 2nd IEEE Conference on Standardization and Innovation in Information Technology, 2001

2000
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

1997
Specifying Communicative Multi-Agent Systems (Invited Paper).
Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997


  Loading...