@inproceedings{DBLP:conf/kr/FengASWL20,
  author    = {Renyan Feng and
               Erman Acar and
               Stefan Schlobach and
               Yisong Wang and
               Wanwei Liu},
  editor    = {Diego Calvanese and
               Esra Erdem and
               Michael Thielscher},
  title     = {On Sufficient and Necessary Conditions in Bounded {CTL:} {A} Forgetting
               Approach},
  booktitle = {Proceedings of the 17th International Conference on Principles of
               Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
               September 12-18, 2020},
  pages     = {361--370},
  year      = {2020},
  url       = {https://doi.org/10.24963/kr.2020/37},
  doi       = {10.24963/kr.2020/37},
  timestamp = {Fri, 09 Apr 2021 18:52:15 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/FengASWL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ztmPFGFYyzzbgvkuG","bibbaseid":"feng-acar-schlobach-wang-liu-onsufficientandnecessaryconditionsinboundedctlaforgettingapproach-2020","author_short":["Feng, R.","Acar, E.","Schlobach, S.","Wang, Y.","Liu, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Renyan"],"propositions":[],"lastnames":["Feng"],"suffixes":[]},{"firstnames":["Erman"],"propositions":[],"lastnames":["Acar"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Schlobach"],"suffixes":[]},{"firstnames":["Yisong"],"propositions":[],"lastnames":["Wang"],"suffixes":[]},{"firstnames":["Wanwei"],"propositions":[],"lastnames":["Liu"],"suffixes":[]}],"editor":[{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Thielscher"],"suffixes":[]}],"title":"On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach","booktitle":"Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020","pages":"361–370","year":"2020","url":"https://doi.org/10.24963/kr.2020/37","doi":"10.24963/kr.2020/37","timestamp":"Fri, 09 Apr 2021 18:52:15 +0200","biburl":"https://dblp.org/rec/conf/kr/FengASWL20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/FengASWL20,\n author = {Renyan Feng and\n Erman Acar and\n Stefan Schlobach and\n Yisong Wang and\n Wanwei Liu},\n editor = {Diego Calvanese and\n Esra Erdem and\n Michael Thielscher},\n title = {On Sufficient and Necessary Conditions in Bounded {CTL:} {A} Forgetting\n Approach},\n booktitle = {Proceedings of the 17th International Conference on Principles of\n Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,\n September 12-18, 2020},\n pages = {361--370},\n year = {2020},\n url = {https://doi.org/10.24963/kr.2020/37},\n doi = {10.24963/kr.2020/37},\n timestamp = {Fri, 09 Apr 2021 18:52:15 +0200},\n biburl = {https://dblp.org/rec/conf/kr/FengASWL20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Feng, R.","Acar, E.","Schlobach, S.","Wang, Y.","Liu, W."],"editor_short":["Calvanese, D.","Erdem, E.","Thielscher, M."],"key":"DBLP:conf/kr/FengASWL20","id":"DBLP:conf/kr/FengASWL20","bibbaseid":"feng-acar-schlobach-wang-liu-onsufficientandnecessaryconditionsinboundedctlaforgettingapproach-2020","role":"author","urls":{"Paper":"https://doi.org/10.24963/kr.2020/37"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"],"keywords":[],"search_terms":["sufficient","necessary","conditions","bounded","ctl","forgetting","approach","feng","acar","schlobach","wang","liu"],"title":"On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach","year":2020}