Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
Updating logical databases
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Some connections between nonuniform and uniform complexity classes
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
A survey on knowledge compilation
AI Communications
Journal of Artificial Intelligence Research
Relating belief revision and circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |