@InProceedings{luo-etal-kr16,
  Title                    = {Using Metric Temporal Logic to Specify Scheduling Problems},
  Author                   = {Roy Luo and
 Richard Anthony Valenzano and
 Yi Li and
 J. Christopher Beck and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning ({KR 2016})},
  Year                     = {2016},
  Note                     = {See technical report for further details.},
  Pages                    = {581--584},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/luo-etal-kr16.pdf}
}

{"_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":"www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Using Metric Temporal Logic to Specify Scheduling Problems","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":[]}],"booktitle":"Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)","year":"2016","note":"See technical report for further details.","pages":"581–584","timestamp":"2018.09.23","url":"http://www.cs.toronto.edu/~sheila/publications/luo-etal-kr16.pdf","bibtex":"@InProceedings{luo-etal-kr16,\n Title = {Using Metric Temporal Logic to Specify Scheduling Problems},\n Author = {Roy Luo and\n Richard Anthony Valenzano and\n Yi Li and\n J. Christopher Beck and\n Sheila A. McIlraith},\n Booktitle = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning ({KR 2016})},\n Year = {2016},\n Note = {See technical report for further details.},\n Pages = {581--584},\n\n Timestamp = {2018.09.23},\n Url = {http://www.cs.toronto.edu/~sheila/publications/luo-etal-kr16.pdf}\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":"http://www.cs.toronto.edu/~sheila/publications/luo-etal-kr16.pdf"},"metadata":{"authorlinks":{"valenzano, r":"https://bibbase.org/show?bib=www.cs.toronto.edu%2Fkr%2Fpublications%2Flist.bib&filter=authors%3AValenzano&group0=year","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"]}