{"_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":[]}],"booktitle":"Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023","keywords":"WP5,A-level","pages":"451–460","title":"Concerning Measures in a First-order Logic with Actions and Meta-beliefs","url":"https://doi.org/10.24963/kr.2023/44","year":"2023","bibtex":"@inproceedings{DBLP:conf/kr/0002FBL23,\n author = {Daxin Liu and\nQihui Feng and\nVaishak Belle and\nGerhard Lakemeyer},\n booktitle = {Proceedings of the 20th International Conference on Principles of\nKnowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,\nSeptember 2-8, 2023},\n keywords = {WP5,A-level},\n pages = {451--460},\n title = {Concerning Measures in a First-order Logic with Actions and Meta-beliefs},\n url = {https://doi.org/10.24963/kr.2023/44},\n year = {2023}\n}\n\n","author_short":["Liu, D.","Feng, Q.","Belle, V.","Lakemeyer, 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"},"keyword":["WP5","A-level"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["ayruv4JDJNMLz7ieC","5fDj6rXeRevQyZND4","wMCdMNmiucDu2pMmz","9fesATq77fFWtSPuB","TxReNv8mFMbHT3GnN","dqRQPSg6Hy3ZXQg7z","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"],"keywords":["wp5","a-level"],"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}