A computational framework for Karl Popper’s logic of scientific discovery

[1]  J. Avigad.  Proof Theory , 2017, 1711.01994.

[2]  Wei Li,et al.  The sound and complete R-calculus for revising propositional theories , 2015, Science China Information Sciences.

[3]  Wei Li,et al.  R-Calculus: An Inference System for Belief Revision , 2007, Comput. J..

[4]  Alexander Bochman,et al.  A Foundational Theory of Belief and Belief Change , 1999, Artif. Intell..

[5]  Takao Asano,et al.  Approximation algorithms for MAX SAT: Yannakakis vs. Goemans-Williamson , 1997, Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems.

[6]  Dorit S. Hochba,et al.  Approximation Algorithms for NP-Hard Problems , 1997, SIGA.

[7]  Joseph Y. Halpern,et al.  Belief Revision: A Critique , 1996, J. Log. Lang. Inf..

[8]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning , 1995 .

[9]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[10]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[11]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[12]  Robert I. Soare,et al.  Recursively enumerable sets and degrees - a study of computable functions and computability generated sets , 1987, Perspectives in mathematical logic.

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[15]  R. Friedberg,et al.  TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944). , 1957, Proceedings of the National Academy of Sciences of the United States of America.

[16]  Li Wei,et al.  The R-Calculus and the Finite Injury Priority Method , 2017, J. Comput..

[17]  S. Hansson,et al.  Twenty-Five Years of Research in Belief Change , 2011 .

[18]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[19]  Roberto Battiti,et al.  Approximate Algorithms and Heuristics for MAX-SAT , 1998 .

[20]  K. Popper,et al.  Conjectures and Refutations , 1963 .