CAKE: a computer aided knowledge engineering technique
Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas · 2002
Logic engineering often involves the development of modeling tools and inference mechanisms (both standard and non-standard) which are targeted for use in practical applications where expressiveness in representation must be traded off for efficiency in use. Some representative