keywords Computer Science Computer Science, Artificial Intelligence Computer Science, Cybernetics Computer Science, Theory & Methods Science & Technology Technology XMF profile executable models knowledge knowledge-based system modelling