Platas—Integrating Planning and the Action Language Golog

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

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Maria Fox, Derek Long · Journal of Artificial Intelligence Research · 2003 · 1.7K citations · Full text

Management, Decision Sciences, Production Planning +13

The Fast Downward Planning System

2006 · 1.2K citations

Computing, Decision Sciences, Algorithms +7

Knowledge in action: logical foundations for specifying and implementing dynamical systems

Choice Reviews Online · 2002 · 1.1K citations

Computing, Autonomous Systems, Dynamical Systems +13

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · The Journal of Logic Programming · 1997 · 1K citations

Computing, Computer Science, Knowledge Representation +5