1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (426–450 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#623: printing functions and predicates with the same name
bug major resolved
#625: Allow ! x y sat \varphi(x,y) without brackets
bug major new
#621: extract the arity from function name
enhancement trivial new
#624: Extract string -> alphanumeric from XSB/entailment and reuse
enhancement major new
#616: Problems with constructed types
bug major resolved
#618: Stackoverflow on recursive constructed types
bug major resolved
#582: Unexpected "in"
bug minor resolved
#439: Splitdefinitions is O(n^3) instead of O(n)
XSB
enhancement minor wontfix
#253: Approximation in definition evaluation
enhancement minor duplicate
#229: allow definition to be introduced by keyword "define"
enhancement minor resolved
#622: Component disambiguation is wrong
bug minor new
#597: Push quantifiers down is too strict.
enhancement major new
#245: Interpretation management
enhancement major new
#467: groundsize&& is not printed when unsat is detected during grounding
bug trivial resolved
#620: approxEmpty for constructedinternalsorttables is wrong
bug major resolved
#619: UnionSortIterator clone incorrect
bug minor new
#304: CP support voor functies in aggregaten
enhancement minor resolved
#27: [Inference] Model expansion with output vocabulary
Inferences
enhancement major resolved
#611: Segfault in grounderfactory
bug major resolved
#586: IDP suddenly stops printing
bug major invalid
#615: Vectorized logo
proposal trivial resolved
#573: Parser is broken
bug critical resolved
#614: Search algorithm should use grounder translator
enhancement major new
#608: Quoted strings are parsed incorrectly if they start with a number
bug major resolved
#576: Progression: static formulas
bug major resolved
  2. 1
  3. 2
  4. …
  5. 16
  6. 17
  7. 18
  8. 19
  9. 20
  10. 21
  11. …
  12. 39
  13. 40