Pages that link to "Item:Q4297221"
From MaRDI portal
The following pages link to Information and evidence in logic systems (Q4297221):
Displaying 19 items.
- A positive information logic for inferential information (Q833030) (← links)
- Interacting explicit evidence systems (Q929292) (← links)
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- Handling and measuring inconsistency in non-monotonic logics (Q2211858) (← links)
- Analysing inconsistent first-order knowledgebases (Q2389648) (← links)
- A quantified logic of evidence (Q2478547) (← links)
- Information and Logical Discrimination (Q2904389) (← links)
- On knowledge evolution: acquisition, revision, contraction (Q3128370) (← links)
- Measuring Instability in Normal Residuated Logic Programs: Discarding Information (Q3163979) (← links)
- Philosophical Conceptions of Information (Q3627407) (← links)
- Extracting Information from Logical Proofs (Q4051642) (← links)
- Approximate reasoning with credible subsets (Q4371295) (← links)
- A practical measure of the information in a logical theory (Q4421243) (← links)
- Logics of Complementarity in Information Systems (Q4487254) (← links)
- Explaining by evidence (Q4779486) (← links)
- (Q4784885) (← links)
- Is there an alternative to parsimonious semantics? (Q4864836) (← links)
- Informational logic for automated reasoning (Q5236445) (← links)
- Another look at the phenomenon of phase transition (Q5704529) (← links)