Pages that link to "Item:Q1382161"
From MaRDI portal
The following pages link to Informational logic as a tool for automated reasoning (Q1382161):
Displaying 6 items.
- Paraconsistent informational logic (Q1775866) (← links)
- A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques (Q2450651) (← links)
- The degree of certainty in automated uncertainty reasoning -- summarizing experience and making optimum decisions quantitatively (Q2725959) (← links)
- Reasoning about resources and information: a linear logic approach (Q2843814) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- Informational logic for automated reasoning (Q5236445) (← links)