Sciweavers

AAAI
1996

The Complexity of Model Checking for Belief Revision and Update

14 years 29 days ago
The Complexity of Model Checking for Belief Revision and Update
Paolo Liberatore, Marco Schaerf
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1996
Where AAAI
Authors Paolo Liberatore, Marco Schaerf
Comments (0)