XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description
暂无分享,去创建一个
[1] Torsten Schaub,et al. Alternative Approaches to Default Logic , 1994, Artif. Intell..
[2] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[3] Donald E. Knuth,et al. The Stanford GraphBase - a platform for combinatorial computing , 1993 .
[4] Torsten Schaub,et al. A Model-Based Approach to Consistency-Checking , 1996, ISMIS.
[5] Wolfgang Bibel,et al. Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.
[6] Mark E. Stickel,et al. A Prolog Technology Theorem Prover , 1990, CADE.
[7] Christoph Goller,et al. SETHEO V3.2: Recent Developments - System Abstract , 1994, CADE.
[8] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[9] Mark E. Stickel. A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog , 1990, DISCO.
[10] Torsten Schaub,et al. Lemma Handling in Default Logic Theorem Provers , 1995, ECSQARU.