Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. Konev, B., Degtyarev, A., Dixon, C., Fisher, M., & Hustadt, U. In 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pages 72–82, 2003. IEEE Computer Society.
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/time/KonevDDFH03,
  author       = {Boris Konev and
                  Anatoli Degtyarev and
                  Clare Dixon and
                  Michael Fisher and
                  Ullrich Hustadt},
  title        = {Towards the Implementation of First-Order Temporal Resolution: the
                  Expanding Domain Case},
  booktitle    = {10th International Symposium on Temporal Representation and Reasoning
                  / 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
                  8-10 July 2003, Cairns, Queensland, Australia},
  pages        = {72--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/TIME.2003.1214882},
  doi          = {10.1109/TIME.2003.1214882},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/KonevDDFH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0