Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
Beliefs, belief revision, and splitting languages
Logic, language and computation, vol. 2
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
From inconsistency to consistency: knowledge base revision by tableaux opening
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Knowledge-Base revision using implications as hypotheses
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |