Formal explorations of knowledge intensive tasks
暂无分享,去创建一个
[1] Kurt Konolige,et al. Abduction Versus Closure in Causal Theories , 1992, Artif. Intell..
[2] Guus Schreiber. Applying KADS to the office assignment domain , 1994, Int. J. Hum. Comput. Stud..
[3] William J. Clancey,et al. Heuristic Classification , 1986, Artif. Intell..
[4] Bjørn N. Freeman-Benson,et al. Constraint hierarchies , 1987, OOPSLA '87.
[5] Dieter Fensel,et al. Specifying Knowledge-Based Systems with Reusable Components , 1997 .
[6] Jacqueline Vauzeilles,et al. Generating Plans in Linear Logic I. Actions as Proofs , 1993, Theor. Comput. Sci..
[7] Yuval Shahar,et al. Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support , 1995, Artif. Intell. Medicine.
[8] Vipin Kumar,et al. Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..
[9] Enrico Motta,et al. Grounding GDMs: a structured case study , 1994, Int. J. Hum. Comput. Stud..
[10] Marco Schaerf,et al. Tractable Reasoning via Approximation , 1995, Artif. Intell..
[11] Henrik Eriksson,et al. Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2 , 1996, Int. J. Hum. Comput. Stud..