keywords Computer Science Computer Science, Theory & Methods Logic RULES SEMANTICS STRATEGIES Science & Technology Science & Technology - Other Topics TERM Technology