Vassev, Emil; Hinchey, Mike
(IEEE Computer Society, 2012)
Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge ...