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

DOI10.1017/S1471068413000343MaRDI QIDQ5398294zbMATH OpenFDO

Authors Marcello Balduccini

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/S1471068413000343

zbMATH Keywords

answer set programmingconstraint answer set programmingnon-Herbrand functionspractical applications

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Computable Functions in ASP: Theory and Implementation
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• Disjunctive ASP with functions: decidable queries and effective computation
• A paraconsistent ASP-like language with tractable model generation
• scientific article; zbMATH DE number 1263381
• scientific article; zbMATH DE number 7453100
• A total functional programming language computing APRA
• Reasoning about partial functions in the formal development of programs

Cites work

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

Cited in

(14)

• ASP programs with groundings of small treewidth
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• 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 \(\mathcal{ALM}\)
• <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
• CASP solutions for planning in hybrid domains
• scientific article; zbMATH DE number 6139984 (Why is no real title available?)
• \textsc{RestKB}: a library of commonsense knowledge about dining at a restaurant
• Partial Functions and Equality in Answer Set Programming
• Towards systematic treatment of partial functions in knowledge representation
• Constraint answer set programming: integrational and translational (or SMT-based) approaches
• A prudent logic of partial functions

This page was built for publication: ASP with non-herbrand partial functions: a language and system for practical use

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398294)