On the stable model semantics for intensional functions

DOI10.1017/S1471068413000549zbMath1286.68041OpenAlexW2139799680MaRDI QIDQ5398316

Joohyung Lee, Michael Bartholomew

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 programmingstable modelsintensional functions

Mathematics Subject Classification ID

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

Related Items (3)

A progression semantics for first-order logic programs ⋮ Modular action language ⋮ First-order stable model semantics with intensional functions

Cites Work

• Stable models and circumscription

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