Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm

DOI10.1007/978-3-030-00111-7_4zbMath1515.68303MaRDI QIDQ6488078

Ralf Möller, Marcel Gehrke, Tanya Braun

Publication date: 24 March 2023

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm