Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

AAAI
1996

favoriteEmaildiscussreport

113views Intelligent Agents» more AAAI 1996»

The Complexity of Model Checking for Belief Revision and Update

13 years 5 months ago

The Complexity of Model Checking for Belief Revision and Update

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

Real-time Traffic

AAAI 1996 | Intelligent Agents |

claim paper

Related Content

» A ConsistencyBased Model for Belief Change Preliminary Report

» Conditional Doxastic Models A Qualitative Approach to Dynamic Belief Revision

» Anytime Belief Revision

» Compositional Belief Update

» Modeling Belief in Dynamic Systems Part II Revision and Update

» Mutual Belief Revision Semantics and Computation

» Annotated Revision Programs

» Knowledge updates Semantics and complexity issues

» Belief operations for motivated BDI agents

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1996
Where	AAAI
Authors	Paolo Liberatore, Marco Schaerf

Comments (0)