1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

approximating definitions generates TRUE/FALSE atoms multiple times

Issue #659 new
Ingmar Dasseville created an issue

example in attachment

Comments (0)

  1. Log in to comment
Assignee
Type
enhancement
Priority
minor
Status
new
Component
–
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!