Inproceedings,

A Model Theory for Paraconsistent Logic Programming.

, and .
EPIA, volume 990 of Lecture Notes in Computer Science, page 377-386. Springer, (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews