Capturing normative constraints by use of the semantic mark-up RASE methodology
暂无分享,去创建一个
[1] C. I. Lewis,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1944 .
[2] R. Montague,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1996 .
[3] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[4] J. Sowa. The challenge of knowledge soup , 2006 .
[5] Eilif Hjelseth,et al. Foundation for development of computable rules , 2009 .
[6] Nicholas Nisbet,et al. The Future of Virtual Construction and Regulation Checking , 2009 .
[7] Gary Riley,et al. Expert Systems: Principles and Programming , 2004 .
[8] T Liebich,et al. Using constraints to validate and check building information models , 2008 .
[9] Eilif Hjelseth,et al. EXPLORING SEMANTIC BASED MODEL CHECKING , 2010 .
[10] John Krogstie,et al. Active knowledge modeling of enterprises , 2008 .
[11] Robert J. Schalkoff. Intelligent Systems: Principles, Paradigms, and Pragmatics , 2009 .
[12] C. Noble. An analysis of meaning. , 1952, Psychological review.
[13] Eilif Hjelseth,et al. OVERVIEW OF CONCEPTS FOR MODEL CHECKING , 2010 .
[14] John F. Sowa,et al. Knowledge representation: logical, philosophical, and computational foundations , 2000 .