Decidable subsets of open logic and an algorithm for R-calculus
暂无分享,去创建一个
[1] J. R. Büchi. Turing-machines and the Entscheidungsproblem , 1962 .
[2] A S Kahr,et al. ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE. , 1962, Proceedings of the National Academy of Sciences of the United States of America.
[3] Hao Wang. Popular Lectures on Mathematical Logic. , 1984 .
[4] C. E. Alchourrón,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985 .
[5] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[6] Erich Grädel,et al. Dominoes and the Complexity of Subclasses of Logical Theories , 1989, Ann. Pure Appl. Log..
[7] Wei Li. An Open Logic System , 1993 .
[8] Yuri Gurevich,et al. The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.
[9] Craig Boutilier,et al. Revision Sequences and Nested Conditionals , 1993, IJCAI.
[10] J. Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[11] A. Sorbi. complexity, logic, and recursion theory , 1997 .
[12] Wei Li,et al. Computation of Extensions of Seminormal Default Theories , 1999, Fundam. Informaticae.
[13] Li Wei. A Complete and Operational Approach to Belief Revision , 2002 .
[14] Ke Xu,et al. The Limits of Horn Logic Programs , 2002, ICLP.
[15] Mehmet A. Orgun,et al. Iterated Belief Contraction from First Principles , 2007, IJCAI.
[16] Johan van Benthem,et al. Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.
[17] Guozhong Dai,et al. A programmable approach to revising knowledge bases , 2005, Science in China Series F: Information Sciences.
[18] Wei Li,et al. R-Calculus: An Inference System for Belief Revision , 2007, Comput. J..
[19] Wei Zhang. On the decidability of open logic , 2009, Science in China Series F: Information Sciences.
[20] Wei Li,et al. An algorithm to compute maximal contractions for Horn clauses , 2010, Science China Information Sciences.
[21] Wei Li. Mathematical logic - foundations for information science , 2010, Progress in computer science and applied logic.
[22] Wei Li,et al. R-calculus without the cut rule , 2011, Science China Information Sciences.