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...
Schema mappings are high-level specifications that describe the relationship between database schemas. Schema mappings are prominent in several different areas of database managem...
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
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...
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
Lianfeng Zhang, Xiao You, Jianxin Jiao, Petri Helo