@inproceedings{DBLP:conf/kr/0002FBL23,
  author       = {Daxin Liu and
                  Qihui Feng and
                  Vaishak Belle and
                  Gerhard Lakemeyer},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Concerning Measures in a First-order Logic with Actions and Meta-beliefs},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {451--460},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/44},
  doi          = {10.24963/KR.2023/44},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/0002FBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"N6x6i6CcvvMuMrKuP","bibbaseid":"liu-feng-belle-lakemeyer-concerningmeasuresinafirstorderlogicwithactionsandmetabeliefs-2023","author_short":["Liu, D.","Feng, Q.","Belle, V.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daxin"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Qihui"],"propositions":[],"lastnames":["Feng"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"editor":[{"firstnames":["Pierre"],"propositions":[],"lastnames":["Marquis"],"suffixes":[]},{"firstnames":["Tran","Cao"],"propositions":[],"lastnames":["Son"],"suffixes":[]},{"firstnames":["Gabriele"],"propositions":[],"lastnames":["Kern-Isberner"],"suffixes":[]}],"title":"Concerning Measures in a First-order Logic with Actions and Meta-beliefs","booktitle":"Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023","pages":"451–460","year":"2023","url":"https://doi.org/10.24963/kr.2023/44","doi":"10.24963/KR.2023/44","timestamp":"Tue, 05 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/kr/0002FBL23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/0002FBL23,\n author = {Daxin Liu and\n Qihui Feng and\n Vaishak Belle and\n Gerhard Lakemeyer},\n editor = {Pierre Marquis and\n Tran Cao Son and\n Gabriele Kern{-}Isberner},\n title = {Concerning Measures in a First-order Logic with Actions and Meta-beliefs},\n booktitle = {Proceedings of the 20th International Conference on Principles of\n Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,\n September 2-8, 2023},\n pages = {451--460},\n year = {2023},\n url = {https://doi.org/10.24963/kr.2023/44},\n doi = {10.24963/KR.2023/44},\n timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/kr/0002FBL23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Liu, D.","Feng, Q.","Belle, V.","Lakemeyer, G."],"editor_short":["Marquis, P.","Son, T. C.","Kern-Isberner, G."],"key":"DBLP:conf/kr/0002FBL23","id":"DBLP:conf/kr/0002FBL23","bibbaseid":"liu-feng-belle-lakemeyer-concerningmeasuresinafirstorderlogicwithactionsandmetabeliefs-2023","role":"author","urls":{"Paper":"https://doi.org/10.24963/kr.2023/44"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC","5fDj6rXeRevQyZND4","wMCdMNmiucDu2pMmz","9fesATq77fFWtSPuB","TxReNv8mFMbHT3GnN","dqRQPSg6Hy3ZXQg7z","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"],"keywords":[],"search_terms":["concerning","measures","first","order","logic","actions","meta","beliefs","liu","feng","belle","lakemeyer"],"title":"Concerning Measures in a First-order Logic with Actions and Meta-beliefs","year":2023,"downloads":3}