Inproceedings,

A Reasoner for Simple Conceptual Logic Programs.

, , and .
RR, volume 5837 of Lecture Notes in Computer Science, page 55-70. Springer, (2009)

Meta data

Tags

Users

  • @ontorule
  • @dblp
  • @stijn.heymans

Comments and Reviews