| The process specification language (PSL) theory and applications M Gruninger, C Menzel AI magazine 24 (3), 63-63, 2003 | 278 | 2003 |
| Possible worlds C Menzel | 222 | 2013 |
| The IDEF family of languages C Menzel, RJ Mayer Handbook on architectures of information systems, 209-241, 1998 | 198 | 1998 |
| Actualism C Menzel Stanford Encyclopedia of Philosophy, 2015 | 174* | 2015 |
| Absolute creation TV Morris, C Menzel American Philosophical Quarterly 23 (4), 353-362, 1986 | 144 | 1986 |
| Actualism, ontological commitment, and possible world semantics C Menzel Synthese 85, 355-389, 1990 | 120 | 1990 |
| Ontology capture method (IDEF5) B Peraketh, C Menzel, RJ Mayer, F Fillion, MT Futrell, PS DeWitte Knowledge Based Systems, Incorporated Technical report, 1994 | 111* | 1994 |
| IDEF3 process description capture method report RJ Mayer, C Menzel, M Painter, P DeWitte, T Blinn, P Benjamin Knowledge Based Systems Inc, 1995 | 102 | 1995 |
| A semantics for the knowledge interchange format P Hayes, C Menzel IJCAI 2001 Workshop on the IEEE Standard Upper Ontology 1 (45), 145, 2001 | 85 | 2001 |
| The proper treatment of predication in fine-grained intensional logic C Menzel Philosophical perspectives 7, 61-87, 1993 | 78 | 1993 |
| The true modal logic C Menzel Journal of Philosophical Logic, 331-374, 1991 | 76 | 1991 |
| Good Actions in Tourism T Jamal, C Menzel Philosophical Issues in Tourism, 227-243, 2009 | 72 | 2009 |
| The basic notion of justification JL Kvanvig, C Menzel Philosophical Studies 59, 235-261, 1990 | 72 | 1990 |
| A Complete, Type-free" second Order" Logic and Its Philosophical Foundations C Menzel Leland Stanford Junior University, 1986 | 63 | 1986 |
| Theism, platonism, and the metaphysics of mathematics C Menzel Faith and Philosophy 4 (4), 365-382, 1987 | 52 | 1987 |
| Reference Ontologies-Application Ontologies: Either/Or or Both/And?. C Menzel KI Workshop on Reference Ontologies and Application Ontologies 16, 1-10, 2003 | 50 | 2003 |
| Toward a method for acquiring CIM ontologies PC Benjamin, CP Menzel, RJ Mayer, N Padmanaban International Journal of Computer Integrated Manufacturing 8 (3), 225-234, 1995 | 48 | 1995 |
| An integrated process model driven knowledge based system for remote customer support JPT Mo, C Menzel Computers in Industry 37 (3), 171-183, 1998 | 45 | 1998 |
| On set theoretic possible worlds C Menzel Analysis 46 (2), 68-72, 1986 | 42 | 1986 |
| Worlds and propositions set free O Bueno, C Menzel, EN Zalta Erkenntnis 79, 797-820, 2014 | 37 | 2014 |
Michael GruningerUniversity of Toronto在 mie.utoronto.ca 的电子邮件经过验证
