On the stable model semantics for intensional functions

DOI10.1017/S1471068413000549MaRDI QIDQ5398316zbMATH OpenOpenAlexFDO

Authors Michael Bartholomew, Joohyung Lee

Publication date 27 February 2014

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

Full work available at URL https://doi.org/10.1017/s1471068413000549

zbMATH Keywords

answer set programmingintensional functionsstable models

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• First-order stable model semantics with intensional functions
• A Free Logic for Stable Models with Partial Intensional Functions
• A note on the stable model semantics for logic programs
• Disjunctive \(LP+\) integrity constraints = stable model semantics.
• scientific article; zbMATH DE number 1368933

Cites work

• Stable models and circumscription

Cited in

(6)

• Extending and implementing the stable model semantics
• A progression semantics for first-order logic programs
• First-order stable model semantics with intensional functions
• On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
• A Free Logic for Stable Models with Partial Intensional Functions
• Modular action language \(\mathcal{ALM}\)

This page was built for publication: On the stable model semantics for intensional functions

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