|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated belief change in the situation calculus.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Goal Change in the Situation Calculus. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Shapiro, Gerhard Brewka |
Dynamic Interactions between Goals and Beliefs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Gerhard Brewka |
Dynamic Interactions Between Goals and Beliefs. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Goal Change. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro |
Belief Change with Noisy Sensing and Introspection. |
Belief Change in Rational Agents |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Maurice Pagnucco |
Iterated Belief Change and Exogeneous Actions in the Situation Calculus. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Sardiña, Steven Shapiro |
Rational action in agent programs with prioritized goals. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
rational action, situation calculus, agent programming languages |
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
The cognitive agents specification language and verification environment for multiagent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent specification languages, theorem proving, proof assistants, verification tools |
| 1 | Steven Shapiro, Barnaby Richards, Michael Rinow, Timothy Schoechle |
Hybrid standards setting solutions for today's convergent telecommunications market. |
SIIT |
2001 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated Belief Change in the Situation Calculus. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance |
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")