How to build your own ASP-based system?!

DOI10.1017/S1471068421000508MaRDI QIDQ7027223zbMATH OpenFDO

Authors Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

Publication date 14 February 2025

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

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

answer-set programmingmeta-programminganswer-set solving modulo theoriesanswer-set systems

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: How to build your own ASP-based system?!

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