The satisfiability problem in multiple-valued Horn formulae
暂无分享,去创建一个
[1] Josep Puyol-Gruart,et al. A Specialisation Calculus to Improve Expert Systems Communication , 1992, ECAI.
[2] Malik Ghallab,et al. A Linear Control Algorithm for a Class of Rule-Based Systems , 1991, J. Log. Program..
[3] Lluís Godo Lacasa. Contribucio a l'estudi de models d'inferencia en els sistemes possibilistics , 1990 .
[4] Gonzalo Escalada-Imaz. Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre , 1989 .
[5] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[6] Maria Grazia Scutellà,et al. A Note on Dowling and Gallier's Top-Down Algorithm for Propositional Horn Satisfiability , 1990, J. Log. Program..
[7] Didier Dubois,et al. Theorem Proving Under Uncertainty - A Possibility Theory-based Approach , 1987, IJCAI.
[8] Max Black,et al. Philosophical Problems of Many-Valued Logic , 1966 .
[9] Alasdair Urquhart. Many-valued Logic , 1986 .