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.
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
{"_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":"http://www.bibsonomy.org/bib/author/Sheila McIlraith?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2021-02-09T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Luo"],"firstnames":["Roy"],"suffixes":[]},{"propositions":[],"lastnames":["Valenzano"],"firstnames":["Richard","Anthony"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Yi"],"suffixes":[]},{"propositions":[],"lastnames":["Beck"],"firstnames":["J.","Christopher"],"suffixes":[]},{"propositions":[],"lastnames":["McIlraith"],"firstnames":["Sheila","A."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/294aee4bbb27ed4349ea40544b997c232/dblp","booktitle":"KR","crossref":"conf/kr/2016","editor":[{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]},{"propositions":[],"lastnames":["Delgrande"],"firstnames":["James","P."],"suffixes":[]},{"propositions":[],"lastnames":["Wolter"],"firstnames":["Frank"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/kr/LuoVLBM16,\n added-at = {2021-02-09T00:00:00.000+0100},\n author = {Luo, Roy and Valenzano, Richard Anthony and Li, Yi and Beck, J. Christopher and McIlraith, Sheila A.},\n biburl = {https://www.bibsonomy.org/bibtex/294aee4bbb27ed4349ea40544b997c232/dblp},\n booktitle = {KR},\n crossref = {conf/kr/2016},\n editor = {Baral, Chitta and Delgrande, James P. and Wolter, Frank},\n ee = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12909},\n interhash = {75426a2c01d10c75ecc3abcee5542c4d},\n intrahash = {94aee4bbb27ed4349ea40544b997c232},\n isbn = {978-1-57735-755-1},\n keywords = {dblp},\n pages = {581-584},\n publisher = {AAAI Press},\n timestamp = {2024-04-09T23:54:13.000+0200},\n title = {Using Metric Temporal Logic to Specify Scheduling Problems.},\n url = {http://dblp.uni-trier.de/db/conf/kr/kr2016.html#LuoVLBM16},\n year = 2016\n}\n\n","author_short":["Luo, R.","Valenzano, R. A.","Li, Y.","Beck, J. C.","McIlraith, S. A."],"editor_short":["Baral, C.","Delgrande, J. P.","Wolter, F."],"key":"conf/kr/LuoVLBM16","id":"conf/kr/LuoVLBM16","bibbaseid":"luo-valenzano-li-beck-mcilraith-usingmetrictemporallogictospecifyschedulingproblems-2016","role":"author","urls":{"Link":"http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12909","Paper":"http://dblp.uni-trier.de/db/conf/kr/kr2016.html#LuoVLBM16"},"keyword":["dblp"],"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/preferences/"}},"downloads":2},"search_terms":["using","metric","temporal","logic","specify","scheduling","problems","luo","valenzano","li","beck","mcilraith"],"keywords":["dblp"],"authorIDs":["49RPGiH4Z2CgT3z4s","6CtXLqTtMMBTJFGCS","GvvCbq8Y4n9QqTySC"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}