Functional answer set programming

DOI10.1017/S1471068410000517zbMath1220.68033OpenAlexW2178806509MaRDI QIDQ3008406

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

partial functionsanswer set programmingequilibrium logicfunctional logic programming

Mathematics Subject Classification ID

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

Related Items (9)

A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions ⋮ Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates ⋮ Modular action language ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ Unnamed Item ⋮ ASP (): Answer Set Programming with Algebraic Constraints ⋮ ASP with non-herbrand partial functions: a language and system for practical use ⋮ Gelfond-Zhang aggregates as propositional formulas ⋮ First-order stable model semantics with intensional functions

This page was built for publication: Functional answer set programming