Module theorem for the general theory of stable models

DOI10.1017/S1471068412000269zbMath1261.68037arXiv1210.5222OpenAlexW3101554965MaRDI QIDQ4911145

Joseph Babb, Joohyung Lee

Publication date: 13 March 2013

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

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

zbMATH Keywords

splitting theoremanswer set programmingmodule theorem

Mathematics Subject Classification ID

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

Related Items (3)

Online Action Language $$o\mathcal {BC}$$+ ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Answers set programs for non-transferable utility games: expressiveness, complexity and applications

Uses Software

• oClingo

Cites Work

• Stable models and circumscription
• Reactive Answer Set Programming

This page was built for publication: Module theorem for the general theory of stable models