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 |
|