@inproceedings{luo-etal-kr16,
  author    = {Roy Luo and
               Richard Anthony Valenzano and
               Yi Li and
               J. Christopher Beck and
               Sheila A. McIlraith},
  title     = {Using Metric Temporal Logic to Specify Scheduling Problems},
  booktitle = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning ({KR 2016})},
  pages     = {581-584},
  url       = {luo-etal-kr16.pdf},
  note      = {See technical report for further details.},
  year      = {2016}
}

{"_id":"GKm8sGXML9BvGyXuo","bibbaseid":"luo-valenzano-li-beck-mcilraith-usingmetrictemporallogictospecifyschedulingproblems-2016","downloads":2,"creationDate":"2016-05-11T04:36:01.101Z","title":"Using Metric Temporal Logic to Specify Scheduling Problems","author_short":["Luo, R.","Valenzano, R. A.","Li, Y.","Beck, J. C.","McIlraith, S. A."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.cs.toronto.edu/~sheila/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roy"],"propositions":[],"lastnames":["Luo"],"suffixes":[]},{"firstnames":["Richard","Anthony"],"propositions":[],"lastnames":["Valenzano"],"suffixes":[]},{"firstnames":["Yi"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["J.","Christopher"],"propositions":[],"lastnames":["Beck"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Using Metric Temporal Logic to Specify Scheduling Problems","booktitle":"Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)","pages":"581-584","url":"luo-etal-kr16.pdf","note":"See technical report for further details.","year":"2016","bibtex":"@inproceedings{luo-etal-kr16,\n author = {Roy Luo and\n Richard Anthony Valenzano and\n Yi Li and\n J. Christopher Beck and\n Sheila A. McIlraith},\n title = {Using Metric Temporal Logic to Specify Scheduling Problems},\n booktitle = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning ({KR 2016})},\n pages = {581-584},\n url = {luo-etal-kr16.pdf},\n note = {See technical report for further details.},\n year = {2016}\n}\n\n","author_short":["Luo, R.","Valenzano, R. A.","Li, Y.","Beck, J. C.","McIlraith, S. A."],"key":"luo-etal-kr16","id":"luo-etal-kr16","bibbaseid":"luo-valenzano-li-beck-mcilraith-usingmetrictemporallogictospecifyschedulingproblems-2016","role":"author","urls":{"Paper":"https://www.cs.toronto.edu/~sheila/publications/luo-etal-kr16.pdf"},"metadata":{"authorlinks":{"valenzano, r":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Valenzano","boutilier, c":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Lu","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/"}},"downloads":2},"search_terms":["using","metric","temporal","logic","specify","scheduling","problems","luo","valenzano","li","beck","mcilraith"],"keywords":[],"authorIDs":["49RPGiH4Z2CgT3z4s","6CtXLqTtMMBTJFGCS","GvvCbq8Y4n9QqTySC"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}