Pages that link to "Item:Q1855213"

The following pages link to Tractable reasoning via approximation (Q1855213):

Displaying 32 items.

• Tractable approximate deduction for OWL (Q274420) (← links)
• On simplification of schema mappings (Q389226) (← links)
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite (Q389229) (← links)
• On AGM for non-classical logics (Q535331) (← links)
• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
• The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
• Cut and pay (Q851192) (← links)
• An informational view of classical logic (Q897935) (← links)
• Is default logic a reinvention of inductive-statistical reasoning? (Q1293025) (← links)
• Semantics and complexity of abduction from default theories (Q1402749) (← links)
• Partial meet pseudo-contractions (Q1726273) (← links)
• Tractable reasoning in artificial intelligence (Q1894662) (← links)
• A probabilistic semantics for belief logic (Q2075282) (← links)
• A modal view on resource-bounded propositional logics (Q2157601) (← links)
• The universe of propositional approximations (Q2369011) (← links)
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty (Q2446551) (← links)
• First order LUB approximations: characterization and algorithms (Q2457687) (← links)
• Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
• (Q2779516) (← links)
• Foundations for a Fourth Normal Form over SQL-Like Databases (Q3224000) (← links)
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics (Q3524915) (← links)
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics (Q3524921) (← links)
• Towards an approximation theory of discrete problems. I (Q3989952) (← links)
• (Q3995529) (← links)
• Computational Aspects of Quasi-Classical Entailment (Q4443010) (← links)
• Local Diagnosis (Q4443394) (← links)
• Approximate coherence-based reasoning (Q4453903) (← links)
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control (Q4820464) (← links)
• The Universe of Approximations (Q4924531) (← links)
• Does This Set of Clauses Overlap with at Least One MUS? (Q5191099) (← links)
• Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
• Controlling entity integrity with key sets (Q6098153) (← links)