13. IJCAI 1993:
Chambéry, France - Executable Modal and Temporal Logics
Michael Fisher,
Richard Owens:
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Lecture Notes in Computer Science 897,
Springer 1995, ISBN
3-540-58976-7 Shinji Kono:
A Combination of Clausal and Non Clausal Temporal Logic Programs. 40-57 Stephan Merz:
Efficiently Executable Temporal Logic Programs. 69-85 Nienke den Haan:
Investigations into the Applications of Deontic Logic. 157-178
maintained by
at
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Michael Fisher, Richard Owens:
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license