On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility |
scientific article; zbMATH DE number 6084947
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility |
scientific article; zbMATH DE number 6084947 |
Statements
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (English)
0 references
21 September 2012
0 references
multi-modal logic
0 references
qualitative reasoning
0 references
order-of-magnitude reasoning
0 references
bidirectional negligibility
0 references
knowledge representation
0 references
decidability
0 references
0 references
0 references
0.89886713
0 references
0.89826083
0 references
0.8974739
0 references
0.8726029
0 references
0.86505276
0 references
0.86188424
0 references
