Reasoning About Action II: The Qualification Problem.

Matthew L. Ginsberg David E. Smith

Published in: Artif. Intell. (1988)

Keyphrases

fluent calculus
reasoning about actions
situation calculus
concurrent actions
practical reasoning
databases
human actions
neural network
information retrieval
indirect effects
data sets
space time
database
logic programming
spatial reasoning
qualitative reasoning
case study