achieved. Williams, Peppas, Foo and Chopra reported the results in the Artificial Intelligence journal. Belief revision has also been used to demonstrate the acknowledgement of intrinsic social capital in closed networks. Implementations Systems specifically implementing belief revision are: SATEN – an object-oriented web-based revision and extraction engine (Williams, Sims) ADS – SAT solver–based belief revision (Benferhat, Kaci, Le Berre, Williams) BReLS Immortal Two systems including a belief revision feature are SNePS and Cyc. See also Bayesian inference Belief propagation Defeasible reasoning Discursive dilemma Epistemic closure Inquiry Knowledge representation Neurath's boat Non-monotonic logic Philosophy of science Reason maintenance Reasoning Notes References C. E. Alchourròn, P. Gärdenfors, and D. Makinson (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510–530. Antoniou, G. and M-A. Williams (1997) Nonmontonic Reasoning, MIT Press. Antoniou, G. and M-A. Williams (1995) Reasoning with Incomplete and Changing Information, in the Proceedings of the International Joint Conference on Information Sciences, 568-572. T. Aravanis, P. Peppas, and M-A Williams, (2017) Epistemic-entrenchment Characterization of Parikh's Axiom, in International Joint Conf on Artificial Intelligence IJCAI-17, p772-778. S. Benferhat, D. Dubois, H. Prade, and M-A Williams (2002). A Practical Approach to Fusing Prioritized Knowledge Bases, Studia Logica: International Journal for Symbolic Logic, 70(1): 105-130. S. Benferhat, S. Kaci, D. Le Berre, M-A Williams (2004) Weakening Conflicting Information for Iterated Revision & Knowledge Integration, Artificial Intelligence Journal, Volume 153,1-2, 339-371. C. Boutilier (1993). Revision sequences and nested conditionals. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), pages 519–525. C. Boutilier (1995). Generalized update: belief change in dynamic settings. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1550–1556. C. Boutilier (1996). Abduction to plausible causes: an event-based model of belief update. Artificial Intelligence, 83:143–166. M. Cadoli, F. M. Donini, P. Liberatore, and M. Schaerf (1999). The size of a revised knowledge base. Artificial Intelligence, 115(1):25–64. T. Chou and M. Winslett (1991). Immortal: A model-based belief revision system. In Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR'91), pages 99–110. Morgan Kaufmann Publishers. M. Dalal (1988). Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88), pages 475–479. T. Eiter and G. Gottlob (1992). On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence, 57:227–270. T. Eiter and G.