Towards behavioral programming in distributed architectures

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Interactive Visualization, Engineering, Visual Formalism +5

Modeling rational agents with a BDI-architecture

Anand S. Rao, Michael Georgeff · Principles of Knowledge Representation and Reasoning · 1997 · 1.6K citations

Agent-based System, Rational Agents, Engineering +7

An agent-based approach for building complex software systems

Nicholas R. Jennings · Communications of the ACM · 2001 · 1.2K citations

Software Maintenance, Engineering, Business Intelligence +17

Plans and resource‐bounded practical reasoning

Michael E. Bratman, David Israël, Martha E. Pollack · Computational Intelligence · 1988 · 1.1K citations

Reasoning, Agent-based System, Engineering +12

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

First Executable Semantics, Engineering, Semantic Web +21