A Theory of Action for MultiAgent Planning

Maintaining knowledge about temporal intervals

1983 • 7,583 citations

Strips: A new approach to the application of theorem proving to problem solving

1971 • 3,943 citations

Semantic Information Processing

1968 • 2,198 citations

Programs with common sense

1960 • 841 citations

Verifying properties of parallel programs

1976 • 536 citations

Now you may compose temporal logic specifications

1984 • 264 citations

The ``Hoare Logic'' of CSP, and All That

1984 • 119 citations

Modeling simultaneous actions and continuous processes

1973 • 82 citations