COPE - A Flexible Constraint-Based Programming System for Knowledge Processing
暂无分享,去创建一个
[1] Johan de Kleer,et al. How Circuits Work , 1984, Artif. Intell..
[2] Mark Stefik,et al. Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..
[3] J. A. Gadsden,et al. Constraint‐based reasoning for generating naval flying programmes , 1988 .
[4] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[5] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[6] Enrico Motta,et al. Support for knowledge acquisition in the Knowledge Engineer's Assistant (KEATS) , 1988 .
[7] Hans W. Guesgen,et al. Constraints in a Hybrid Knowledge Representation System , 1987, IJCAI.
[8] Gerald Jay Sussman,et al. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..
[9] Robert E. Filman,et al. Reasoning with worlds and truth maintenance in a knowledge-based programming environment , 1988, CACM.
[10] Marvin Minsky,et al. A framework for representing knowledge , 1974 .
[11] Johan de Kleer,et al. Theories of Causal Ordering , 1986, Artif. Intell..
[12] Richard Fikes,et al. The role of frame-based representation in reasoning , 1985, CACM.
[13] Ernest Davis,et al. Constraint Propagation with Interval Labels , 1987, Artif. Intell..
[14] Masamichi Shimura,et al. Parametric Engineering Design Using Constraint-Based Reasoning , 1990, AAAI.
[15] J. Dekleer. An assumption-based TMS , 1986 .