Combining event calculus and description logic reasoning via logic programming

DOI10.1007/978-3-030-86205-3_6MaRDI QIDQ831926

Peter Baumgartner

Publication date: 24 March 2022

Full work available at URL: https://arxiv.org/abs/2109.04803

Mathematics Subject Classification ID

68Txx: Artificial intelligence

Uses Software

• LARS