Declarative local search for predicate logic

DOI10.1007/978-3-030-20528-7_25OpenAlexW2945315430MaRDI QIDQ2326747

Tu-San Pham, Jo Devriendt, Patrick de Causmaecker

Publication date: 10 October 2019

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

zbMATH Keywords

heuristicslocal searchknowledge representationpredicate logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

This page was built for publication: Declarative local search for predicate logic