Information integration for concurrent engineering (IICE) IDEF3 process description capture method report RJ Mayer, CP Menzel, MK Painter, PS Dewitte, T Blinn, B Perakath Knowledge Based Systems Inc.(KBSI), 1995 | 529 | 1995 |
The process specification language (PSL) theory and applications M Gruninger, C Menzel AI magazine 24 (3), 63-63, 2003 | 275 | 2003 |
Possible worlds C Menzel | 210 | 2013 |
The IDEF family of languages C Menzel, RJ Mayer Handbook on architectures of information systems, 209-241, 1998 | 195 | 1998 |
Actualism C Menzel Stanford Encyclopedia of Philosophy, 2015 | 169* | 2015 |
Absolute creation TV Morris, C Menzel American Philosophical Quarterly 23 (4), 353-362, 1986 | 139 | 1986 |
Actualism, ontological commitment, and possible world semantics C Menzel Synthese 85, 355-389, 1990 | 117 | 1990 |
Ontology capture method (IDEF5) B Peraketh, C Menzel, RJ Mayer, F Fillion, MT Futrell, PS DeWitte Knowledge Based Systems, Incorporated Technical report, 1994 | 112* | 1994 |
IDEF3 process description capture method report RJ Mayer, C Menzel, M Painter, P DeWitte, T Blinn, P Benjamin Knowledge Based Systems Inc, 1995 | 103 | 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 | 84 | 2001 |
The proper treatment of predication in fine-grained intensional logic C Menzel Philosophical perspectives 7, 61-87, 1993 | 74 | 1993 |
The true modal logic C Menzel Journal of Philosophical Logic, 331-374, 1991 | 73 | 1991 |
Good Actions in Tourism T Jamal, C Menzel Philosophical Issues in Tourism, 227-243, 2009 | 71 | 2009 |
The basic notion of justification JL Kvanvig, C Menzel Philosophical Studies 59, 235-261, 1990 | 71 | 1990 |
A Complete, Type-free" second Order" Logic and Its Philosophical Foundations C Menzel Leland Stanford Junior University, 1986 | 56 | 1986 |
Theism, platonism, and the metaphysics of mathematics C Menzel Faith and Philosophy 4 (4), 365-382, 1987 | 49 | 1987 |
Reference Ontologies-Application Ontologies: Either/Or or Both/And?. C Menzel KI Workshop on Reference Ontologies and Application Ontologies 16, 1-10, 2003 | 48 | 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 | 47 | 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 | 41 | 1986 |