Fast hypothetical reasoning system using inference-path network
暂无分享,去创建一个
[1] Bart Selman,et al. Hard Problems for Simple Default Logics , 1989, Artif. Intell..
[2] Mitsuru Ishizuka,et al. Fast Hypothetical Reasoning System using Analogy on Inference-path Network , 1992 .
[3] J. Dekleer. An assumption-based TMS , 1986 .
[4] Philippe Besnard. Default Logics , 1991, ECSQARU.
[5] Randy Goebel,et al. Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .
[6] Mitsuru Ishizuka,et al. Knowledge acquisition mechanisms for a logical knowledge base including hypotheses , 1990, Knowl. Based Syst..
[7] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[8] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[9] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..