Inproceedings,

Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.

, , and .
ISMIS, volume 542 of Lecture Notes in Computer Science, page 316-325. Springer, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews