An Answer Set Solver for non-Herbrand Programs: Progress Report

DOI10.4230/LIPICS.ICLP.2012.49MaRDI QIDQ5398042zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini

Publication date 25 February 2014

Full work available at URL https://doi.org/10.4230/LIPIcs.ICLP.2012.49

zbMATH Keywords

answer set programminganswer set solvingknowledge representation and reasoningnon-Herbrand functions

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• A ``conservative approach to extending answer set programming with non-Herbrand functions
• On structural analysis of non-ground answer-set programs
• An Introduction to Answer Set Programming and Some of Its Extensions
• Answer Set Programming: A Declarative Approach to Solving Search Problems
• Abstract Answer Set Solvers
• Abstraction for non-ground answer set programs
• Abstraction for non-ground answer set programs
• The power of non-ground rules in Answer Set Programming
• scientific article; zbMATH DE number 6536279

Cited in

(2)

• A ``conservative approach to extending answer set programming with non-Herbrand functions
• The Design of the Sixth Answer Set Programming Competition

Describes a project that uses

Uses Software

• Clingcon

This page was built for publication: An Answer Set Solver for non-Herbrand Programs: Progress Report

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