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

A framework for information systems architecture

1987 • 3,225 citations

Towards a general theory of action and time

1984 • 2,602 citations

A Mathematical Introduction to Logic

2001 • 2,459 citations

Situations and Attitudes

1981 • 2,383 citations

Qualitative process theory

1984 • 2,080 citations

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

2006 • 2,073 citations

Semantical Considerations on Modal Logic

2012 • 1,568 citations

A qualitative physics based on confluences

1984 • 1,515 citations

Enabling technology for knowledge sharing

1991 • 1,367 citations

Knowledge Interchange Format Version 3.0 Reference Manual

1992 • 813 citations

ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS**Prepared in part at Bolt Beranek and Newman Inc. under contracts sponsored by the Defense Advance Research Projects Agency and the Office of Naval Research. The views and conclusions stated are those of the author and should not be interpreted as necessarily representing the official policies, either express or implied, of the Defense Advanced Research Projects Agency or the U.S. Government.

1979 • 652 citations

The Logic of Time

1983 • 551 citations

Introduction to Simulation and SLAM

1979 • 400 citations

Introduction to SIMAN

1988 • 303 citations

Object Management Architecture Guide

1993 • 174 citations

Moments and points in an interval‐based temporal logic

1989 • 165 citations

A specification language to assist in analysis of discrete event simulation models

1985 • 116 citations

A methodology for using a default and abductive reasoning system

1990 • 95 citations

Simulation Model Development Environments: A Research Prototype

1987 • 77 citations

Intelligent Systems in Design and Manufacturing

1994 • 36 citations

Qualitative Reasoning in an Expert System Framework.

1983 • 13 citations

Cognitive skills in modeling and simulation

1988 • 9 citations

Automatic simulation model design from a situation theory based manufacturing system description

1990 • 6 citations

Knowledge-Based Integrated Information Systems Development Methodologies Plan. Volume 2.

1987 • 6 citations

A Situation Theoretic Approach to the Representation of Processes

1996 • 4 citations

IDEF3 formalization report

1991 • 4 citations