Partial Functions and Equality in Answer Set Programming
From MaRDI portal
Publication:5504669
DOI10.1007/978-3-540-89982-2_36zbMATH Open1185.68149OpenAlexW2123964226MaRDI QIDQ5504669FDOQ5504669
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
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
- Title not available (Why is that?)
- Reasoning with infinite stable models
- Representing action and change by logic programs
- A logic covering undefinedness in program proofs
- Circumscription - a form of non-monotonic reasoning
- Flattening and saturation: Two representation changes for generalization
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- Logics in Artificial Intelligence
- A Characterization of Strong Equivalence for Logic Programs with Variables
- Logics in Artificial Intelligence
- The integration of functions into logic programming: From theory to practice
- Algebraic semantics for functional logic programming with polymorphic order-sorted types
Cited In (9)
- P-log: refinement and a new coherency condition
- Functional answer set programming
- Synonymous theories and knowledge representations in 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)
