Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change (1992)

by Lenhart K. Schubert
Venue:Journal of Logic and Computation
Citations:17 - 2 self