Improving Search in a Hypothetical Reasoning System
暂无分享,去创建一个
[1] Torsten Schaub,et al. XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description , 1996, CADE.
[2] John Richard Thornton,et al. Constraint Weighting Local Search for Constraint Satisfaction , 2000 .
[3] Michael J. Maher,et al. Efficient Defeasible Reasoning Systems , 2001, Int. J. Artif. Intell. Tools.
[4] Victor W. Marek,et al. Default Reasoning System DeReS , 1996, KR.
[5] Mitsuru Ishizuka,et al. SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoning , 2002, Knowl. Based Syst..
[6] Geoff Sutcliffe,et al. The TPTP Problem Library , 1994, CADE.
[7] Vladimir Lifschitz,et al. Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00 , 1988, NMR.
[8] Donald E. Knuth,et al. The Stanford GraphBase - a platform for combinatorial computing , 1993 .
[9] Mark E. Stickel,et al. Caching and Lemmaizing in Model Elimination Theorem Provers , 1992, CADE.
[10] Mark E. Stickel. A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler , 1986, CADE.
[11] Mitsuru Ishizuka,et al. The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning , 2000, PRICAI.
[12] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[13] Torsten Schaub,et al. An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation , 1997, ICLP 1997.
[14] Juliana Freire,et al. XSB: A System for Effciently Computing WFS , 1997, LPNMR.