Satisfiability Judgement under Incomplete Information

DOI10.1007/978-3-642-11479-3_5MaRDI QIDQ3401128zbMATH OpenOpenAlexFDO

Authors Anna Gomolińska

Publication date 28 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11479-3_5

zbMATH Keywords

approximation spaceconcept modellingdescriptor languagejudgement makingknowledge discoveryPawlak information systemsatisfiability of formulas

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 496040
• scientific article; zbMATH DE number 17813
• scientific article; zbMATH DE number 1182735
• Estimating satisfiability
• scientific article; zbMATH DE number 194618
• Reasoning with incomplete information
• Propositional and predicate logics of incomplete information
• A quantitative approach to reasoning about incomplete knowledge
• scientific article; zbMATH DE number 1844516
• A constructive investigation of satisfiability

Cited in

(1)

• Satisfiability of formulas from the standpoint of object classification: The RST approach

This page was built for publication: Satisfiability Judgement under Incomplete Information

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