A Modal Calculus of Partially Ordered Events in a Logic Programming Framework
暂无分享,去创建一个
[1] Angelo Montanari,et al. Skeptical and Credulous Event Calculi for Supporting Modal Queries , 1994, ECAI.
[2] Johan van Benthem,et al. Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic , 1986 .
[3] D. C. MOFFAT,et al. Modal queries about partially-ordered plans , 1990, J. Exp. Theor. Artif. Intell..
[4] Robert A. Kowalski,et al. Database Updates in the Event Calculus , 1992, J. Log. Program..
[5] Mark S. Boddy,et al. Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.
[6] Maurice Bruynooghe,et al. Temporal Reasoning with Abductive Event Calculus , 1992, ECAI.