Reasoning About Indefinite Actions.

L. Thorne McCarty Ron van der Meyden

Published in: KR (1992)

Keyphrases

concurrent actions
decision theoretic
situation calculus
rational agents
constraint databases
data sets
databases
website
deductive databases
plan recognition
knowledge base
bayesian networks
human operators
reasoning process