ASP with non-herbrand partial functions: a language and system for practical use

DOI10.1017/S1471068413000343zbMath1286.68039MaRDI QIDQ5398294

Marcello Balduccini

Publication date: 27 February 2014

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

zbMATH Keywords

answer set programmingpractical applicationsnon-Herbrand functionsconstraint answer set programming

Mathematics Subject Classification ID

Logic programming (68N17)

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

• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
• Functional answer set programming