On the configuration of more and less expressive logic programs

DOI10.1017/S1471068422000096MaRDI QIDQ7027215zbMATH OpenFDO

Authors Carmine Dodaro, Marco Maratea, Mauro Vallati

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

satisfiabilityanswer-set programmingknowledge configuration

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17)

This page was built for publication: On the configuration of more and less expressive logic programs

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