Approximate R-Calculus
-
Published:2021
Issue:
Volume:
Page:133-152
-
ISSN:2731-3689
-
Container-title:Perspectives in Formal Induction, Revision and Evolution
-
language:
-
Short-container-title:
Author:
Li Wei,Sui Yuefei
Publisher
Springer Singapore
Reference10 articles.
1. R.M. Friedberg, Two recursively enumerable sets of incomparable degrees of unsolvability. Proc. Natl. Acad. Sci. 43, 236–238 (1957)
2. M.L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning (Morgan Kaufmann, San Francisco, 1987)
3. D.S. Hochbaum (ed.), Approximation Algorithms for NP-Hard Problems (PWS Publishing Company, 1997)
4. J. Horty, Defaults with priorities. J. Philos. Log. 36, 367–413 (2007)
5. W. Li, R-calculus: an inference system for belief revision. Comput. J. 50, 378–390 (2007)