Knowledge representation and reasoning (KRR) systems describe and reason...
Knowledge representation and reasoning (KRR) systems represent knowledge...
The inherent difficulty of knowledge specification and the lack of train...
Word puzzles and the problem of their representations in logic languages...