Extensions of Constraint Solving for Proof Planning
暂无分享,去创建一个
[1] Christian Schulte,et al. Programming Constraint Inference Engines , 1997, CP.
[2] Erica Melis,et al. Integrating Constraint Solving into Proof Planning , 2000, FroCoS.
[3] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..
[4] Christophe Ringeissen,et al. SoleX: A Domain-Independent Scheme for Constraint Solver Extension , 1998, AISC.
[5] Roberto Virga,et al. Higher-Order Superposition for Dependent Types , 1996, RTA.
[6] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[7] Volker Sorge,et al. Employing external reasoners in proof planning , 1999, Calculemus.
[8] Brian Falkenhainer,et al. Dynamic Constraint Satisfaction Problems , 1990, AAAI.
[9] Frieder Stolzenburg,et al. Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.
[10] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[11] Erica Melis,et al. AI-Techniques in Proof Planning , 1998, ECAI.
[12] Hans-Jürgen Bürckert,et al. A Resolution Principle for Constrained Logics , 1994, Artif. Intell..
[13] Gert Smolka. The Oz Programming Model , 1996 .
[14] Volker Sorge,et al. Omega: Towards a Mathematical Assistant , 1997, CADE.
[15] Akira Aiba,et al. Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers , 1992, Fifth Generation Computer Systems.
[16] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[17] Bevan K. Youse,et al. Introduction to real analysis , 1972 .
[18] Tobias Müller. Promoting Constraints to First-Class Status , 2000, Computational Logic.