Rulebase checking using a spatial representation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1460, Issue , 1998, Pages 166-175

  Coenen, Frans ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

MULTI DIMENSIONAL; RULE BASE; SPATIAL ALGORITHMS; SPATIAL REPRESENTATIONS; TIME COMPLEXITY; TRADITIONAL APPROACHES;

EXPERT SYSTEMS;

EID: 84949230876     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054478     Document Type: Conference Paper

References (6)

1. S.B.M. Bell, B.M. Diaz, F.C. Holroyd and M.J.J. Jackson (1983). Spatially Referenced Methods of Processing Raster and Vector Data. Image and Vision Computing, 1(4), pp211-220.
2. Coenen, F.P. (1995). An Advanced Binary Encoded Matrix Representation for Rulebase Verification. Journal of Knowledge-Based Systems, Vol 8, No 4, pp201-210.
3. Coenen, F.P., Beattie, B., Bench-Capon, T.J.M, Diaz, B.M. and Shave M.J.R. (1997). A tesseral Approach to N-Dimensional Spatial Reasoning. In Hameurlaln, A. and Tjoa, A.M. (Eds), Database and Expert Systems Applications, (Proceedings DEXA'97), Lecture Notes in Computer Science 1308, Springer Verlag, pp633-642.
4. Coenen, F.P. and Dunne, P.E. (1997). Verification and Validation of Rulebases using a Binary Encoded Incidence Matrix Technique. Proceedings EUROVAV'97, Katholieke Universiteit Leuven, Belgium, pp43-53.
5. B.M. Diaz and S.B.M. Bell (1986). Spatial Data Processing Using Tesseral Methods. Natural Environment Research Council publication, Swindon, England.
6. I. Gargantini (1982). Linear Octrees for Fast Processing of Three Dimensional Objects. Computer Graphics and Image Processing, 20, pp365-374.