A ``conservative approach to extending answer set programming with non-Herbrand functions

DOI10.1007/978-3-642-30743-0_3MaRDI QIDQ2900504zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_3

zbMATH Keywords

answer set programminglogic programmingmany-to-one functionsnon-Herbrand functionsnonmonotonic reasoningstable models

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• An Answer Set Solver for non-Herbrand Programs: Progress Report
• scientific article; zbMATH DE number 6139984
• Functional answer set programming
• ASP with non-herbrand partial functions: a language and system for practical use
• Partial Functions and Equality in Answer Set Programming

Cites work

• A decidable subclass of finitary programs
• Constraint Answer Set Solving
• Diagnostic reasoning with A-Prolog
• Functional answer set programming
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1884395 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Probabilistic reasoning with answer sets
• Weight Constraint Programs with Functions

Cited in

(7)

• P-log: refinement and a new coherency condition
• First-order stable model semantics with intensional functions
• Functional answer set programming
• An Answer Set Solver for non-Herbrand Programs: Progress Report
• Partial Functions and Equality in Answer Set Programming
• Towards systematic treatment of partial functions in knowledge representation
• A prudent logic of partial functions

Describes a project that uses

Uses Software

• Clingcon

This page was built for publication: A ``conservative approach to extending answer set programming with non-Herbrand functions

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