Meta-reasoning: An incremental compilation approach
暂无分享,去创建一个
[1] Raymond Reiter,et al. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.
[2] Randy Goebel,et al. Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .
[3] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[4] David Poole. Variables in Hypotheses , 1987, IJCAI.
[5] Abdul Sattar,et al. On the efficiency of logic-based diagnosis , 1990, IEA/AIE '90.
[6] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[7] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[8] John W. Lloyd. Directions for Meta-Programming , 1988, FGCS.
[9] Maurice Bruynooghe,et al. The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation , 1988, META.
[10] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[11] ABDUL SATTAR,et al. Using crucial literals to select better theories , 1991, Comput. Intell..
[12] Hamid Bacha,et al. Meta-Level Programming: A Compiled Approach , 1987, ICLP.
[13] Alex Kean,et al. An Incremental Method for Generating Prime Implicants/Impicates , 1990, J. Symb. Comput..
[14] C. Hempel,et al. Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .