Lecture 6
Artificial Intelligence 6. Representing Knowledge in Predicate Logic Course V231 Department of Computing Imperial College, London Jeremy Gow.
An Algorithm for Probabilistic Alternating Simulation
Abstractions From Proofs Presented in POPL’04