From the Past to the Future: Executing Temporal Logic Programs. Fisher, M. & Owens, R. In Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pages 369–380, 1992.
From the Past to the Future: Executing Temporal Logic Programs [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/lpar/FisherO92,
  author    = {Michael Fisher and
               Richard Owens},
  title     = {From the Past to the Future: Executing Temporal Logic Programs},
  booktitle = {Logic Programming and Automated Reasoning,International Conference
               LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  pages     = {369--380},
  year      = {1992},
  crossref  = {DBLP:conf/lpar/1992},
  url       = {https://doi.org/10.1007/BFb0013075},
  doi       = {10.1007/BFb0013075},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/FisherO92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0