EXPLORING SEMANTIC BASED MODEL CHECKING
暂无分享,去创建一个
[1] Eilif Hjelseth. Exchange of Relevant Information in BIM Objects Defined by the Role- and Life-Cycle Information Model , 2010 .
[2] Rivka Oxman,et al. Emerging Paradigms and Models in Digital Design – Performance‐Based Architectural Design , 2009 .
[3] T Liebich,et al. Using constraints to validate and check building information models , 2008 .
[4] Nicholas Nisbet,et al. The Future of Virtual Construction and Regulation Checking , 2009 .
[5] Rivka Oxman,et al. Theory and design in the first digital age , 2006 .
[6] Eilif Hjelseth,et al. OVERVIEW OF CONCEPTS FOR MODEL CHECKING , 2010 .
[7] Eilif Hjelseth,et al. Foundation for development of computable rules , 2009 .
[8] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[9] J. Sowa. The challenge of knowledge soup , 2006 .
[10] R. Montague,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1996 .
[11] Brett Malone,et al. On the Financial Impact of MDO to the Corporation , 2002 .
[12] John F. Sowa,et al. Knowledge representation: logical, philosophical, and computational foundations , 2000 .
[13] C. I. Lewis,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1944 .
[14] John F. Sowa,et al. Fads and Fallacies about Logic , 2007, IEEE Intelligent Systems.