Details:
| Title | CWA extensions to Multi-Valued Logics | | Author(s) | Jinzhao Wu | | Type | Technical Report, Misc | | Abstract | Various CWA formalizations including the naive CWA, the generalized CWA and the careful CWA are extended to multi-valued logics in a uniform manner by using the so-called polynomial forms of clauses. | | Length | 13 |
| File |
| | Language | English | | Year | 2005 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
