Author:
Nguyen Ngoc Thanh,Malowiecki Michal
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Barthelemy, J.P., Janowitz, M.F.: A Formal Theory of Consensus. SIAM J. Discrete Math. 4, 305–322 (1991)
2. Helpern, J.Y., Moses, Y.: Knowledge and Common Knowledge in Distributed Environment. Journal of the Association for Computing Machinery 37, 549–587 (2001)
3. Hunter, A.: Paraconsistent Logics. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertain Information, pp. 13–43. Kluwer Academic Publishers, Dordrecht (1998)
4. Loyer, Y., Spyratos, N., Stamate, D.: Integration of Information in Four-Valued Logics under Non-Uniform Assumption. In: Proceedings of 30th IEEE International Symposium on Multiple-Valued Logic, pp. 180–193 (2000)
5. Nieger, G.: Simplifying the Design of Knowledge-based Algorithms Using Knowledge Consistency. Information & Computation 119, 283–293 (1995)