Modularity in smodels Programs

DOI10.1007/978-3-540-72200-7_33zbMath1149.68338OpenAlexW2124622991MaRDI QIDQ5425415

Emilia Oikarinen

Publication date: 13 November 2007

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72200-7_33

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Unnamed Item ⋮ Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs

This page was built for publication: Modularity in smodels Programs