| Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic D Liu, G Lakemeyer In Proc. of IJCAI, 1951--1958, 2021 | 16 | 2021 |
| Efficient algorithms for association finding and frequent association pattern mining G Cheng, D Liu, Y Qu The Semantic Web–ISWC 2016: 15th International Semantic Web Conference, Kobe …, 2016 | 14 | 2016 |
| Fast algorithms for semantic association search and pattern mining G Cheng, D Liu, Y Qu IEEE Transactions on Knowledge and Data Engineering 33 (4), 1490-1502, 2019 | 12 | 2019 |
| Fast and practical snippet generation for RDF datasets D Liu, G Cheng, Q Liu, Y Qu ACM Transactions on the Web (TWEB) 13 (4), 1-38, 2019 | 11 | 2019 |
| On the progression of belief D Liu, Q Feng Artificial Intelligence 322, 103947, 2023 | 9 | 2023 |
| Projection in a probabilistic epistemic logic and its application to belief-based program verification D Liu Dissertation, RWTH Aachen University, 2023 | 4 | 2023 |
| On the Verification of Belief Programs D Liu, G Lakemeyer arXiv preprint arXiv:2204.12562v3, 2022 | 3 | 2022 |
| Concerning Measures in a First-order Logic with Actions and Meta-beliefs D Liu, Q Feng, V Belle, G Lakemeyer 20th International Conference on Principles of Knowledge Representation and …, 2023 | 2 | 2023 |
| A logic of only-believing over arbitrary probability distributions Q Feng, D Liu, G Lakemeyer, V Belle The 22nd International Conference on Autonomous Agents and Multiagent …, 2023 | 1 | 2023 |
| Diversified and verbalized result summarization for semantic association search Y Gu, Y Liang, G Cheng, D Liu, R Wei, Y Qu Web Information Systems Engineering–WISE 2018: 19th International Conference …, 2018 | 1 | 2018 |
| Progression with Probabilities in the Situation Calculus: Representation and Succinctness D Liu, V Belle The 23rd International Conference on Autonomous Agents and Multi-Agent …, 2024 | | 2024 |
| Verifying Belief-based Programs via Symbolic Dynamic Programming D Liu, Q Huang, V Belle, G Lakemeyer 26th European Conference on Artificial Intelligence 372, 1497-1504, 2023 | | 2023 |
| On the Progression of Belief D Liu, Q Feng In Proc. of KR (best student paper), 465-474, 2021 | | 2021 |
| Probabilistic Action Formalisms with Applications to Robotics D Liu 2021 Joint Workshop of the German Research Training Groups in Computer …, 2021 | | 2021 |
Gong ChengProfessor, Nanjing UniversityVerified email at nju.edu.cn
