Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)

A qualitative physics based on confluences

Johan de Kleer, John Seely Brown · Artificial Intelligence · 1984 · 1.5K citations

Natural Sciences, Physics, Mathematical Physics +5

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

Computing circumscription

Vladimir Lifschitz · International Joint Conference on Artificial Intelligence · 1985 · 373 citations

Computing, Computer Science, Mathematics +14

Machine Intelligence 4. Edited by B. Meltzer and D. Michie. Pp. viii, 508. 100s. 1969. (Edinburgh University Press.)

F. R. A. Hopgood · The Mathematical Gazette · 1970 · 340 citations

Computing, Computer Science, Artificial Intelligence +3

Reasoning about action I

Matthew L. Ginsberg, David E. Smith · Artificial Intelligence · 1988 · 254 citations

Computing, Autonomous Systems, Philosophy Of Action +6