Using Metric Temporal Logic to Specify Scheduling Problems. Luo, R., Valenzano, R. A., Li, Y., Beck, J. C., & McIlraith, S. A. In Baral, C., Delgrande, J. P., & Wolter, F., editors, KR, pages 581-584, 2016. AAAI Press.
Using Metric Temporal Logic to Specify Scheduling Problems. [link]Link  Using Metric Temporal Logic to Specify Scheduling Problems. [link]Paper  bibtex   2 downloads  
@inproceedings{conf/kr/LuoVLBM16,
  added-at = {2021-02-09T00:00:00.000+0100},
  author = {Luo, Roy and Valenzano, Richard Anthony and Li, Yi and Beck, J. Christopher and McIlraith, Sheila A.},
  biburl = {https://www.bibsonomy.org/bibtex/294aee4bbb27ed4349ea40544b997c232/dblp},
  booktitle = {KR},
  crossref = {conf/kr/2016},
  editor = {Baral, Chitta and Delgrande, James P. and Wolter, Frank},
  ee = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12909},
  interhash = {75426a2c01d10c75ecc3abcee5542c4d},
  intrahash = {94aee4bbb27ed4349ea40544b997c232},
  isbn = {978-1-57735-755-1},
  keywords = {dblp},
  pages = {581-584},
  publisher = {AAAI Press},
  timestamp = {2024-04-09T23:54:13.000+0200},
  title = {Using Metric Temporal Logic to Specify Scheduling Problems.},
  url = {http://dblp.uni-trier.de/db/conf/kr/kr2016.html#LuoVLBM16},
  year = 2016
}

Downloads: 2