A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\) (Q3010368)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5916712
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\) |
scientific article; zbMATH DE number 5916712 |
Statements
A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (English)
0 references
1 July 2011
0 references
0.8258566856384277
0 references
0.8235573768615723
0 references
0.8047787547111511
0 references
0.7879259586334229
0 references
0.7833014726638794
0 references
