Scientific Benchmarking with Temporal Logic Decision Procedures. Hustadt, U. & Schmidt, R. A. In Fensel, D., Giunchiglia, F., McGuinness, D. L., & Williams, M., editors, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pages 533–546, 2002. Morgan Kaufmann.
bibtex   
@inproceedings{DBLP:conf/kr/HustadtS02,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Dieter Fensel and
                  Fausto Giunchiglia and
                  Deborah L. McGuinness and
                  Mary{-}Anne Williams},
  title        = {Scientific Benchmarking with Temporal Logic Decision Procedures},
  booktitle    = {Proceedings of the Eights International Conference on Principles and
                  Knowledge Representation and Reasoning (KR-02), Toulouse, France,
                  April 22-25, 2002},
  pages        = {533--546},
  publisher    = {Morgan Kaufmann},
  year         = {2002},
  timestamp    = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/HustadtS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0