Christopher Menzel

14 papers C 1Misc 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2014 J jnl
The Fundamental Theorem of World Theory.
J. Philos. Log.
Christopher Menzel, Edward N. Zalta
2011 J jnl
Knowledge representation, the World Wide Web, and the evolution of logic.
Synth.
Christopher Menzel
2007 Misc conf
Intention Is Commitment with Expectation.
FLAIRS
James Creel, Christopher Menzel, Thomas R. Ioerger
2005 — conf
Basic Semantic Integration.
Semantic Interoperability and Integration
Christopher Menzel
2005 — conf
Simple Common Logic.
Rule Languages for Interoperability
Patrick J. Hayes, Christopher Menzel
2004 — ed.
Proceedings of the KI2003 Workshop on Reference Ontologies and Application Ontologies, Hamburg, Germany, September 16, 2003
KI Workshop on Reference Ontologies and Application Ontologies
Pierre Grenon, Christopher Menzel, Barry Smith
2003 — conf
Reference Ontologies - Application Ontologies: Either/Or or Both/And?.
KI Workshop on Reference Ontologies and Application Ontologies
Christopher Menzel
2003 J jnl
The Process Specification Language (PSL) Theory and Applications.
AI Mag.
Michael Grüninger, Christopher Menzel
2001 C conf
A formal foundation for process modeling.
FOIS
Christopher Menzel, Michael Grüninger
2000 — conf
An Adaptive Process Management System (APMS).
DIISM
Christopher Menzel, Perakath C. Benjamin
1999 J jnl
The Objective Conception of Context and Its Logic.
Minds Mach.
Christopher Menzel
1994 J jnl
Formal model of single agent planning situations.
J. Syst. Integr.
Richard J. Mayer, Madhav Erraguntla, Christopher Menzel, Jyh Chen Hwang
1991 J jnl
The true modal logic.
J. Philos. Log.
Christopher Menzel
1989 J jnl
On an Unsound Proof of the Existence of Possible Worlds.
Notre Dame J. Formal Log.
Christopher Menzel