Feature interaction as a satisfiability problem
暂无分享,去创建一个
[1] G. Herman,et al. The feature interaction problem in telecommunications systems , 1989 .
[2] H. Velthuijsen,et al. Feature interactions in telecommunications systems , 1993, IEEE Communications Magazine.
[3] Yow-Jian Lin,et al. A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.
[4] Johan Blom,et al. Formalisation of Requirements with Emphasis on Feature Interaction Detection , 1997, FIW.
[5] Volker Haarslev,et al. RACE System Description , 1999, Description Logics.
[6] Paul J. Kühn,et al. The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..
[7] Ronald J. Brachman,et al. An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..
[8] K. E. Cheng,et al. Feature Interactions in Telecommunications III , 1995 .
[9] Kristofer Kimbler. Addressing the Interaction Problem at the Enterprise Level , 1997, FIW.
[10] Jens E. Kristensen,et al. Interaction detection, a logical approach , 1994, FIW.
[11] Francesco M. Donini,et al. Exptime Tableaux for ALC , 2000, Description Logics.