We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Abstract. The shape recognition of an object is important for dexterous manipulation by humans. Therefore, we have developed a haptic display that integrates both electrotactile an...
Katsunari Sato, Hideaki Nii, Naoki Kawakami, Susum...
Volume haptics has become an increasingly popular way of adding guidance and improving information bandwidth in scientific visualization. State-of-the-art methods, however, use li...
Requirements volatility is an issue in software development life cycle which often originated from our incomplete knowledge about the domain of interest. In this paper, we propose...
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...