8

Summary: Knowledge Representation

A taste of knowledge representation has been presented, with emphasis on the use of Skolem functions and constants

CRICOS Provider Code No. 00098G
Copyright (C) Bill Wilson, 2003, except where another source is acknowledged.