Functional answer set programming

DOI10.1017/S1471068410000517zbMATH Open1220.68033OpenAlexW2178806509MaRDI QIDQ3008406FDOQ3008406

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)

Cited In (10)

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

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)