Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

DOI10.1613/JAIR.1.14091OpenAlexW4313637732WikidataQ130869139 ScholiaQ130869139MaRDI QIDQ5870535

Konstantin Schekotihin, Antonius Weinzierl, Gerhard Friedrich, Richard Comploi-Taupe

Publication date: 9 January 2023

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.14091

zbMATH Keywords

heuristicsnonmonotonic reasoninglogic programming

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

This page was built for publication: Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach