Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying

DOI10.1007/978-3-030-57977-7_8zbMATH Open1478.68368OpenAlexW3057900685MaRDI QIDQ1995448FDOQ1995448

Harold Boley, Theodoros Mitsikas, Mark Thom

Publication date: 23 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57977-7_8

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

This page was built for publication: Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995448)