Modularity in smodels Programs
From MaRDI portal
Publication:5425415
DOI10.1007/978-3-540-72200-7_33zbMath1149.68338OpenAlexW2124622991MaRDI QIDQ5425415
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
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