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

well-foundedness check is wrong

Issue #921 new
Ingmar Dasseville created an issue

The following theory should have the same well-founded as stable models

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=403b65a1a4c5c3da89f310403c82cce9

Assignee
–
Type
bug
Priority
critical
Status
new
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!