ASP with non-herbrand partial functions: a language and system for practical use
From MaRDI portal
Publication:5398294
DOI10.1017/S1471068413000343zbMath1286.68039MaRDI QIDQ5398294
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items
On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$, Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates, Modular action language, <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>, On relation between constraint answer set programming and satisfiability modulo theories, Unnamed Item
Cites Work