Flexible approximators for approximating fixpoint theory

DOI10.1007/978-3-319-34111-8_28MaRDI QIDQ2814522zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

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

• A lattice-theoretical fixpoint theorem and its applications
• Approximating operators and semantics for abstract dialectical frameworks
• Combining answer set programming with description logics for the semantic web
• FO(ID) as an extension of DL with rules
• Grounded fixpoints and their applications in knowledge representation
• Hex semantics via approximation fixpoint theory
• Local closed world reasoning with description logics under the well-founded semantics
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Reconciling description logics and rules
• The well-founded semantics for general logic programs
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Uniform semantic treatment of default and autoepistemic logics
• Well-founded and stable semantics of logic programs with aggregates
• Well-founded semantics for description logic programs in the semantic web

Cited in

(9)

• Safe inductions and their applications in knowledge representation
• Hex semantics via approximation fixpoint theory
• scientific article; zbMATH DE number 7299857 (Why is no real title available?)
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
• Categorical approximation fixpoint theory
• Embedding justification theory in approximation fixpoint theory
• Fixpoint semantics for recursive \textsc{shacl}
• Approximation fixpoint theory in Coq. With an application to logic programming

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)