What people are saying - Write a review
We haven't found any reviews in the usual places.
Previous Work on Elaboration Tolerance
General Principles of Elaboration Tolerance
Additive Elaboration Tolerance
22 other sections not shown
Ab(n Ab(x Abm2 action addition of formulas additive elaboration tolerance advice taker AGM postulates Artificial Intelligence assert assume axiomatic formal system axioms Bayesian network belief revision belief set Bird(x cannibals problem Chapter choice function Ci-theory circumscription closed world assumption coherence consequence relation construction database defined definition elab Elab+(Ci epistemic entrenchment example extended axiomatic formal f(Mod(T finite first-order logic frame problem framework Free Ab Lemma full addition full retraction hard facts hard truths Hence holds i,Ab inference Intuitively ip+(a labels language Lifschitz logic program McCarthy minimal missionaries and cannibals Mod(a monotonic NETtalk Param possible worlds preferred models preferred worlds Proof properties Proposition relational database represent representation require Retraction and Addition retraction and full Section Semantic Web semantics sentences set of preferred Si,Ab soft facts statements subset symbols syntactic syntax system with choice Theorem theory update