Buddhism Zen Buddhism is divided into two main schools: Rinzai (臨済宗) and Sōtō (曹洞宗), the former greatly favouring the use in meditation on the koan (公案, a meditative riddle or puzzle) as a device for spiritual break-through, and the latter (while certainly employing koans) focusing more on "shikantaza" or "just sitting". Zen Buddhism is primarily found in Japan, with some presence in South Korea and Vietnam. The scholars of Japanese Soto Zen tradition in recent times have critiqued the mainstream Japanese Buddhism for "dhatu-vada", that is assuming things have substantiality, a view they assert to be non-Buddhist and "out of tune
Reasoning system and allowing only a restricted subset of logic improved the performance of such systems so that they were practical for use in the real world and not merely as research demonstrations as most previous automated reasoning systems had been. The engine used for automated reasoning in expert systems were typically called inference engines. Those used for more general logical inferencing are typically called theorem provers. With the rise in popularity of expert systems many new types of automated reasoning were applied to diverse problems in government and industry. Some such as case-based reasoning were off shoots of expert systems research.