Author:David Plaisted

Keyphrases

aspect calculus, Aspects, equational reasoning, first-order logic, frame problem, instance-based theorem proving, model-based theorem proving, ramification problem, semantic guidance, Situation Calculus, successor state axiom.