TY - CONF AU - Liu, Daxin AU - Feng, Qihui AU - Belle, Vaishak AU - Lakemeyer, Gerhard TI - Concerning Measures in a First-order Logic with Actions and Meta-beliefs PB - International Joint Conferences on Artificial Intelligence Organization M1 - RWTH-2024-12372 SP - 451-460 PY - 2023 T2 - 20. International Conference on Principles of Knowledge Representation and Reasoning CY - 2 Sep 2023 - 8 Sep 2023, Rhodes (Greece) Y2 - 2 Sep 2023 - 8 Sep 2023 M2 - Rhodes, Greece LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 DO - DOI:10.24963/kr.2023/44 UR - https://publications.rwth-aachen.de/record/999883 ER -