On Cascade Products of Answer Set Programs

DOI10.1017/S1471068414000301zbMath1309.68026arXiv1405.3608OpenAlexW2295431424MaRDI QIDQ2931275

Christian Antić

Publication date: 25 November 2014

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

Full work available at URL: https://arxiv.org/abs/1405.3608

zbMATH Keywords

cascade productanswer set programming (ASP)Krohn-Rhodes theoryalgebraic theory of products and networksnonmonotonic reasoning systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Algebraic theory of languages and automata (68Q70) Logic programming (68N17)

Cites Work

• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• Uniform semantic treatment of default and autoepistemic logics

This page was built for publication: On Cascade Products of Answer Set Programs