From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

Computing, Computer Science, Knowledge Representation +7

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

Pushing the envelope: planning, propositional logic, and stochastic search

Henry Kautz, Bart Selman · 1996 · 845 citations

Computing, Decision Sciences, Knowledge Representation +7

Nonmonotonic logic and temporal projection

Steve Hanks, Drew McDermott · Artificial Intelligence · 1987 · 441 citations

Humanities, Philosophy, Knowledge Representation +10

Solving the frame problem: A mathematical investigation of the common sense law of inertia

Computers & Mathematics with Applications · 1997 · 409 citations

Natural Sciences, Mathematics, Physics +12