Semantics of Framed Temporal Logic Programs.

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny

Browse the full ICLP paper archive.