|
|||||
|
|
Logic Programming with Signs and Annotations |
|
| Authors: | LU JAMES J. |
| Affiliation: | Department of Computer Science, Bucknell University Lewisburg, PA 17837, USA. E-mail: jameslu{at}bucknell.edu |
| Abstract: | |
| Keywords: | Multiple-valued logic logic programming signed formula annotation paraconsistency query processing |
| 本文献已被 Oxford 等数据库收录！ | |