Functional answer set programming

DOI10.1017/S1471068410000517MaRDI QIDQ3008406zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar

Publication date 15 June 2011

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

Full work available at URL https://doi.org/10.1017/s1471068410000517

zbMATH Keywords

answer set programmingequilibrium logicfunctional logic programmingpartial functions

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Partial Functions and Equality in Answer Set Programming
• Weight constraint programs with evaluable functions
• Functional ASP with intensional sets: application to Gelfond-Zhang aggregates
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• scientific article; zbMATH DE number 6139984

Cited in

(13)

• Computable Functions in ASP: Theory and Implementation
• \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
• ASP with non-herbrand partial functions: a language and system for practical use
• Partial Functions and Equality in Answer Set Programming
• scientific article; zbMATH DE number 7453121 (Why is no real title available?)
• Functional ASP with intensional sets: application to Gelfond-Zhang aggregates
• Revisiting explicit negation in answer set programming
• First-order stable model semantics with intensional functions
• Weight constraint programs with evaluable functions
• Gelfond-Zhang aggregates as propositional formulas
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• Reactive Answer Set Programming
• Modular action language \(\mathcal{ALM}\)

This page was built for publication: Functional answer set programming

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