krr / IDP / issues / #903 - cardinality in non-recursive definition goes wrong — Bitbucket

Issue #903 open

Ingmar Dasseville created an issue 2015-09-15

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=293a03545fe0f0e9b5d0

Comments (10)

Bart Bogaerts
Bug in XSB. Also emerges if xsb=false due to postprocessing enabling xsb for definition evaluation (maybe shouldn't be done there)
- 2015-09-16T11:34:37+00:00
Bart Bogaerts
- changed status to duplicate
Duplicate of ~~#902~~.
- 2015-09-16T11:35:19+00:00
Bart Bogaerts
- changed status to open
I reopen this issue.

XSBs problems with non-recursive aggregates aren't fixed yet. See attach
- 2015-10-12T15:14:15+00:00
Bart Bogaerts
- attached isolated.idp
- 2015-10-12T15:14:29+00:00
Bart Bogaerts
- attached isolated.idp
- 2015-10-12T15:15:37+00:00
Bart Bogaerts
- assigned issue to
  
  Joachim Jansen
- 2015-10-12T15:16:15+00:00
Joachim Jansen
- attached isolatedbug.idp
Added version without constructors that reproduces bug
- 2015-10-16T09:43:17+00:00
Joachim Jansen
- changed status to resolved
added test for fixed issue #903

→ <<cset 650428eb6462>>
- 2017-10-27T12:48:54+00:00
JoD
A simpler example: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=9bb1bcf15c950775b468aaee54f0e898
- 2018-07-03T14:14:24+00:00
Ingmar Dasseville reporter
- changed status to open
blijkbaar niet echt resolved
- 2018-07-03T14:39:10+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: open

Component: –

Version: –

Votes: 0

Watchers: 3

Jira: the preferred issue tracker for Bitbucket. Join the team!