A Theorem-Proving Approach to Spatial Problem-Solving
暂无分享,去创建一个
[1] Mark Gahegan,et al. An intelligent, object-oriented geographical information system , 1988, Int. J. Geogr. Inf. Sci..
[2] J R Davis,et al. Roles for Knowledge-Based Systems in Environmental Planning , 1987 .
[3] J. T. Diamond,et al. Design of an Integrated Spatial Information System for Multiobjective Land-Use Planning , 1988 .
[4] J R Davis,et al. ADAPT: A Knowledge-Based Decision Support System for Producing Zoning Schemes , 1987 .
[5] T. Moto-oka,et al. CHALLENGE FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS (Preliminary Report on Fifth Generation Computer Systems) , 1982 .
[6] Vice President,et al. An Introduction to Expert Systems , 1989 .
[7] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[8] Carlo Zaniolo,et al. Object-Oriented Programming in Prolog , 1984, SLP.
[9] M. H. Williams,et al. Evaluation of the Effectiveness of Prolog for a CAD Application , 1984, IEEE Computer Graphics and Applications.
[10] S B Seidman,et al. Relational Models for Social Systems , 1987 .
[11] Ian Cullen. Expert systems in planning analysis , 1986 .
[12] Sumitro Samaddar,et al. Prolog and Geometry Projects , 1986, IEEE Computer Graphics and Applications.
[13] Keith L. Clark,et al. Notes on the Implementation of Parlog , 1985, J. Log. Program..