Christopher Menzel

According to our database, Christopher Menzel authored at least 13 papers between 1989 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

The Fundamental Theorem of World Theory.

Christopher Menzel, Edward N. Zalta

J. Philos. Log., 2014

2011

Knowledge representation, the World Wide Web, and the evolution of logic.

Christopher Menzel

Synth., 2011

2007

Intention Is Commitment with Expectation.

James Creel, Christopher Menzel, Thomas R. Ioerger

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2005

Simple Common Logic.

Patrick J. Hayes, Christopher Menzel

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Basic Semantic Integration.

Christopher Menzel

Proceedings of the Semantic Interoperability and Integration, 2005

2003

The Process Specification Language (PSL) Theory and Applications.

Michael Grüninger, Christopher Menzel

AI Mag., 2003

Reference Ontologies - Application Ontologies: Either/Or or Both/And?.

Christopher Menzel

Proceedings of the KI2003 Workshop on Reference Ontologies and Application Ontologies, 2003

2001

A formal foundation for process modeling.

Christopher Menzel, Michael Grüninger

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

2000

An Adaptive Process Management System (APMS).

Christopher Menzel, Perakath C. Benjamin

Proceedings of the Global Engineering, 2000

1999

The Objective Conception of Context and Its Logic.

Christopher Menzel

Minds Mach., 1999

1994

Formal model of single agent planning situations.

Richard J. Mayer, Madhav Erraguntla, Christopher Menzel, Jyh Chen Hwang

J. Syst. Integr., 1994

1991

The true modal logic.

Christopher Menzel

J. Philos. Log., 1991

1989

On an Unsound Proof of the Existence of Possible Worlds.

Christopher Menzel

Notre Dame J. Formal Log., 1989