Agent Programming in 3APL

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

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

Intention is choice with commitment

Philip R. Cohen, Hector J. Levesque · Artificial Intelligence · 1990 · 1.9K citations

Public Health, Social Psychology, Decision Making +3

Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque · 1997 · 81 citations

Computing, Autonomous Systems, Computer Science +12

PLACA, an agent oriented programming language

Sarah Rebecca Thomas · 1993 · 58 citations

Computing, Autonomous Systems, Computer Science +17

Formal semantics for an abstract agent programming language

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek et al. · Lecture notes in computer science · 1998 · 51 citations

Computing, Autonomous Systems, Computer Science +14