6 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.AI2003★ 6 cited
A Hierarchical Situation Calculus
David A. Plaisted
A situation calculus is presented that provides a solution to the frame problem for hierarchical situations, that is, situations that have a modular structure in which parts of the…
cs.SE2003★ 4 cited
An Abstract Programming System
David A. Plaisted
The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axiom…