Approximation Schemes in Logic and Artificial Intelligence

DOI10.1007/978-3-540-89876-4_8MaRDI QIDQ5505446zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Mirosław Truszczyński

Publication date 27 January 2009

Published in Transactions on Rough Sets IX (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89876-4_8

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 3988694
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• scientific article; zbMATH DE number 4047069
• scientific article; zbMATH DE number 4080967
• scientific article; zbMATH DE number 475533

Cites work

• A kripke-kleene semantics for logic programs*
• An algebraic approach to non-classical logics
• Answer sets for consistent query answering in inconsistent databases
• Boolean Algebras with Operators. Part I
• scientific article; zbMATH DE number 3870651 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 1303626 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1735914 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1400209 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Information storage and retrieval systems: Mathematical foundations
• Knowledge compilation and theory approximation
• Lattice Theory for Rough Sets
• Negation in logic programming
• Rough sets
• Rough sets: some extensions
• 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

Cited in

(5)

• Automated generation of logical constraints on approximation spaces using quantifier elimination
• scientific article; zbMATH DE number 5842448 (Why is no real title available?)
• scientific article; zbMATH DE number 4047069 (Why is no real title available?)
• scientific article; zbMATH DE number 44975 (Why is no real title available?)
• scientific article; zbMATH DE number 2087348 (Why is no real title available?)

This page was built for publication: Approximation Schemes in Logic and Artificial Intelligence

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