Flexible approximators for approximating fixpoint theory
From MaRDI portal
Publication:2814522
DOI10.1007/978-3-319-34111-8_28zbMATH Open1355.68244OpenAlexW2465441781MaRDI QIDQ2814522FDOQ2814522
Authors: Fang-Fang Liu, Yi Bi, M.D. Solimul Chowdhury, Jia-Huai You, Zhi-Yong Feng 
Publication date: 22 June 2016
Published in: Advances in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-34111-8_28
Recommendations
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Hex semantics via approximation fixpoint theory
- scientific article; zbMATH DE number 7299857
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
Cites Work
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Combining answer set programming with description logics for the semantic web
- The well-founded semantics for general logic programs
- A lattice-theoretical fixpoint theorem and its applications
- Well-founded and stable semantics of logic programs with aggregates
- Reconciling description logics and rules
- Well-founded semantics for description logic programs in the semantic web
- Local closed world reasoning with description logics under the well-founded semantics
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Uniform semantic treatment of default and autoepistemic logics
- Approximating operators and semantics for abstract dialectical frameworks
- FO(ID) as an extension of DL with rules
- Hex semantics via approximation fixpoint theory
- Grounded fixpoints and their applications in knowledge representation
Cited In (8)
- Embedding justification theory in approximation fixpoint theory
- Fixpoint semantics for recursive \textsc{shacl}
- Safe inductions and their applications in knowledge representation
- Title not available (Why is that?)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- Hex semantics via approximation fixpoint theory
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Categorical approximation fixpoint theory
This page was built for publication: Flexible approximators for approximating fixpoint theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814522)
