Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny
Semantics of Framed Temporal Logic Programs
ICLP, 2005.
@inproceedings{ICLP-2005-DuanYK, author = "Zhenhua Duan and Xiaoxiao Yang and Maciej Koutny", booktitle = "{Proceedings of the 21st International Conference on Logic Programming}", doi = "10.1007/11562931_27", isbn = "3-540-29208-X", pages = "356--370", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Semantics of Framed Temporal Logic Programs}", volume = 3668, year = 2005, }