Partial Functions and Equality in Answer Set Programming

DOI10.1007/978-3-540-89982-2_36MaRDI QIDQ5504669zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_36

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Functional answer set programming
• A Free Logic for Stable Models with Partial Intensional Functions
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• ASP with non-herbrand partial functions: a language and system for practical use
• Quantified Equilibrium Logic and Foundations for Answer Set Programs

Cites work

• scientific article; zbMATH DE number 1884395 (Why is no real title available?)
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• A Characterization of Strong Equivalence for Logic Programs with Variables
• A logic covering undefinedness in program proofs
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• Circumscription - a form of non-monotonic reasoning
• Flattening and saturation: Two representation changes for generalization
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Reasoning with infinite stable models
• Representing action and change by logic programs
• The integration of functions into logic programming: From theory to practice

Cited in

(9)

• P-log: refinement and a new coherency condition
• Synonymous theories and knowledge representations in answer set programming
• Functional answer set programming
• Equivalence between answer-set programs under (partially) fixed input
• Partial functions in ACL2
• Adding partial functions to constraint logic programming with sets
• Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• Towards systematic treatment of partial functions in knowledge representation

This page was built for publication: Partial Functions and Equality in Answer Set Programming

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