Concepedia

Christopher Menzel

CM

24

Publications

1.2K

Citations

17

H-Index

1984

Active since

Affiliations

Texas A&M University(Current)

Mitchell Institute

Stanford University

Knowledge Based Systems (United States)

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

Top concepts

EngineeringAutomated ReasoningSemanticsLanguageSystems EngineeringLinguisticsEpistemologyFormal MethodsPhilosophy Of LanguageBusiness Process Modeling

Publications per year

1984–2014

24

Publications

24

Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report

Richard J. Mayer, Christopher Menzel, Michael K. Painter et al. · Defense Technical Information Center (DTIC) · 1995 · 299 citations

The process specification language (PSL) theory and applications

Michael Grüninger, Christopher Menzel · AI Magazine · 2003 · 162 citations

Engineering, Industrial Engineering, Software Engineering +20

Logic and Reality: Essays on the Legacy of Arthur Prior

Christopher Menzel · The Philosophical Review · 2000 · 83 citations

Literary History, Humanities, Philosophical Review +15

Logic and Reality: Essays on the Legacy of Arthur Prior

Christopher Menzel, J. Copeland · The Philosophical Review · 2000 · 76 citations

Engineering, Classical Logic, Philosophy Of History +17

Actualism, ontological commitment, and possible world semantics

Christopher Menzel · Synthese · 1990 · 59 citations

Formal Semantics, Philosophy Of Language, Epistemology +4

Rows per page

1–5 of 24