Seonggyu Kim

Learn More
In Advanced Driving Assistance Systems (ADASs), monitoring the driver's cognitive status during driving is considered as an important issue. Because, most of the accidents in the automotive sector occur due to the driver's misinterpretation or lack of sufficient information regarding the situation. In order to prevent these accidents, current ADASs include(More)
Kowalski's Connection Graph Resolution can be employed to process queries in Deductive and Object-oriented Databases. We present a method to construct a Connection Graph for a set of formulas written in F-Logic. Using the knowledge in the graph, we then present an efficient compatibility test algorithm which can reduce the search space of Connection Graph(More)
  • 1