Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Alchourrón C, Gärdenfors P, Makinson D. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 1985, 50(2): 510–530
2. Li W. A logical framework for evolution of specifications. In: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, ESOP’ 94. 1994, 394–408
3. Li W. A computational framework for convergent agents. In:Leung K, Chan L W, Meng H, eds. Intelligent Data Engineering and Automated Learning — IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents. Berlin / Heidelberg: Springer, 2000, 113–126
4. Li W. A development calculus for specifications. Science in China Series F: Information Sciences, 2003, 46(5): 390–400
5. Li W. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50(4): 378–390
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献