Paraconsistent Logic Programs with Four-Valued Rough Sets

DOI10.1007/978-3-540-88425-5_5MaRDI QIDQ3541044zbMATH OpenOpenAlexFDO

Authors Jan Maluszyński, Andrzej Szałas, Aida Vitória

Publication date 25 November 2008

Published in Rough Sets and Current Trends in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88425-5_5

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Paraconsistent logics (03B53) Logic programming (68N17)

Recommendations

• Modeling and reasoning with paraconsistent rough sets
• A Four-Valued Logic for Rough Set-Like Approximate Reasoning
• scientific article; zbMATH DE number 1927351
• scientific article; zbMATH DE number 1983082
• scientific article; zbMATH DE number 2063023

Cites work

• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 1269580 (Why is no real title available?)
• A Four-Valued Logic for Rough Set-Like Approximate Reasoning
• A paraconsistent logic programming approach for querying inconsistent databases
• Fixpoint semantics for logic programming a survey

Cited in

(6)

• A paraconsistent approach to actions in informationally complex environments
• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
• Bilattice tableau calculi with rough set semantics
• A Four-Valued Logic for Rough Set-Like Approximate Reasoning
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs
• Modeling and reasoning with paraconsistent rough sets

This page was built for publication: Paraconsistent Logic Programs with Four-Valued Rough Sets

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