Inproceedings,

Extending Coinductive Logic Programming with Co-Facts.

, , and .
CoALP-Ty, volume 258 of EPTCS, page 1-18. (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews