Christopher Menzel - Concepedia

Author

Christopher Menzel

Texas A&M University ORCID

Also Known As

C. Menzel, CHRISTOPHER P. MENZEL, Charles Taylor, Christopher Menzel, Christopher P. Menzel, Menzel, Chris

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Texas A&M University Mitchell Institute Stanford University Knowledge Based Systems (United States)

About

Christopher Menzel is an author at Texas A&M University specializing in engineering, automated reasoning, and semantics.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	475
2	Language Studies	8	8	295
3	Humanities	3	3	148
4	Business	2	2	33
5	Law	1	1	38

Christopher Menzel

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report Richard J. Mayer, Christopher Menzel, Michael K. Painter, Defense Technical Information Center (DTIC)	1995	299
The process specification language (PSL) theory and applications Michael Grüninger, Christopher Menzel AI Magazine EngineeringIndustrial EngineeringSoftware EngineeringBusiness Process ModelingFormal Verification	2003	162
Logic and Reality: Essays on the Legacy of Arthur Prior Christopher Menzel The Philosophical Review Literary HistoryHumanitiesPhilosophical ReviewArthur PriorPhilosophy Of Logic	2000	83
Logic and Reality: Essays on the Legacy of Arthur Prior Christopher Menzel, J. Copeland The Philosophical Review EngineeringClassical LogicPhilosophy Of HistorySemanticsN Prior	2000	76
Actualism, ontological commitment, and possible world semantics Christopher Menzel Synthese Formal SemanticsPhilosophy Of LanguageEpistemologyLanguage StudiesSemantics	1990	59
Wide Sets, ZFCU, and the Iterative Conception Christopher Menzel The Journal of Philosophy HumanitiesEngineeringDomain TheoryNecessary ExistenceAutomated Reasoning	2014	54
Analysis of methods Richard J. Mayer, Keith A. Ackley, M. Sue Wells, NASA Technical Reports Server (NASA) EngineeringBusiness IntelligenceInformation NeedsInformation System EnvironmentSoftware Engineering	1991	46
A Semantics for the Knowledge Interchange Format Patrick J. Hayes, Christopher Menzel	2001	43
On the iterative explanation of the paradoxes Christopher Menzel Philosophical Studies Paraconsistent LogicAutomated ReasoningFoundation Of MathematicsIterative ExplanationInductive Reasoning	1986	41
The true modal logic Christopher Menzel Journal of Philosophical Logic Automated ReasoningClassical LogicDoxastic LogicTrue Modal LogicSemantics	1991	41

Page 1