A Non-Reified Temporal Logic.

Fahiem Bacchus, Josh Tenenberg, Johannes A. G. M. Koomen

Browse the full KR paper archive.