Inproceedings,

Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs.

.
Nonclassical Logics and Information Processing, volume 619 of Lecture Notes in Computer Science, page 63-79. Springer, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews