SLD-resolution reduction of second-order Horn fragments

DOI10.1007/978-3-030-19570-0_17OpenAlexW2922022659MaRDI QIDQ2296711

Sophie Tourret, Andrew Cropper

Publication date: 18 February 2020

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Logical reduction of metarules ⋮ Inductive general game playing

This page was built for publication: SLD-resolution reduction of second-order Horn fragments