A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems
暂无分享,去创建一个
[1] Ramaswamy Ramanujam,et al. Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.
[2] Max J. Cresswell,et al. Logics and languages , 1973 .
[3] R. Sylvan,et al. On general annotated logics, with an introduction to full accounting logics , 1996 .
[4] Stanley J. Rosenschein,et al. Formal theories of knowledge in AI and robotics , 1986, New Generation Computing.
[5] Max J. Cresswell. Intensional logics and logical truth , 1972, J. Philos. Log..
[6] Neil Immerman,et al. Foundations of Knowledge for Distributed Systems , 1986, TARK.
[7] Jair Minoro Abe,et al. Many-valued and annotated modal logics , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).
[8] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[9] John McCarthy,et al. Ascribing Mental Qualities to Machines , 1979 .