Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / karmaresearch/vlog issues and pull requests

#99 - Que hicimos en vacaciones

Issue - State: closed - Opened by ArturoValdivieso69 over 1 year ago

#99 - Que hicimos en vacaciones

Issue - State: closed - Opened by ArturoValdivieso69 over 1 year ago

#98 - are existential rules monotonic?

Issue - State: open - Opened by balhoff almost 2 years ago - 3 comments
Labels: bug

#97 - File paths for EDB configurations are wrongly interpreted on Windows

Issue - State: closed - Opened by irina-dragoste about 2 years ago - 3 comments
Labels: bug

#96 - On M1 Mac with arm64: issues java.lang.UnsatisfiedLinkError: while loading kognac-core

Issue - State: closed - Opened by irina-dragoste about 2 years ago - 4 comments
Labels: bug

#96 - On M1 Mac with arm64: issues java.lang.UnsatisfiedLinkError: while loading kognac-core

Issue - State: closed - Opened by irina-dragoste about 2 years ago - 4 comments
Labels: bug

#92 - RMSA classification issue 1

Issue - State: closed - Opened by irina-dragoste almost 3 years ago - 1 comment
Labels: bug

#91 - RMSA classification issue 2

Issue - State: closed - Opened by irina-dragoste almost 3 years ago - 1 comment
Labels: bug

#90 - RMSA classification issue 3

Issue - State: closed - Opened by irina-dragoste almost 3 years ago - 1 comment
Labels: bug

#89 - Wrong JA classification, dependency graph has cycle (length=3)

Issue - State: closed - Opened by irina-dragoste almost 3 years ago
Labels: bug

#89 - Wrong JA classification, dependency graph has cycle (length=3)

Issue - State: closed - Opened by irina-dragoste almost 3 years ago
Labels: bug

#88 - predicate deleteion

Issue - State: open - Opened by adielstatman almost 3 years ago

#87 - Fix column duplication check for multihead rules

Pull Request - State: closed - Opened by marco-calautti almost 3 years ago

#86 - Sporadic segmentation faults in ChaseMgmt::getNewOrExistingIDs

Issue - State: closed - Opened by mmarx almost 3 years ago - 3 comments

#86 - Sporadic segmentation faults in ChaseMgmt::getNewOrExistingIDs

Issue - State: closed - Opened by mmarx almost 3 years ago - 3 comments

#85 - Wrong RMFA classification 2

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 3 comments

#85 - Wrong RMFA classification 2

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 3 comments

#84 - RJA classification issue 3

Issue - State: closed - Opened by irina-dragoste about 3 years ago
Labels: bug

#84 - RJA classification issue 3

Issue - State: closed - Opened by irina-dragoste about 3 years ago
Labels: bug

#83 - RJA classification problem 2

Issue - State: closed - Opened by irina-dragoste about 3 years ago
Labels: bug

#83 - RJA classification problem 2

Issue - State: closed - Opened by irina-dragoste about 3 years ago
Labels: bug

#82 - RJA classifcation problem 1

Issue - State: closed - Opened by irina-dragoste about 3 years ago
Labels: bug

#82 - RJA classifcation problem 1

Issue - State: closed - Opened by irina-dragoste about 3 years ago
Labels: bug

#81 - Wrong RMFC classification

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 3 comments
Labels: bug

#80 - Missing RMFC classification P(Y,Z) :- P(X,Y)

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 2 comments
Labels: bug

#80 - Missing RMFC classification P(Y,Z) :- P(X,Y)

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 2 comments
Labels: bug

#79 - JA classification problem

Issue - State: closed - Opened by CerielJacobs about 3 years ago - 2 comments
Labels: bug

#79 - JA classification problem

Issue - State: closed - Opened by CerielJacobs about 3 years ago - 2 comments
Labels: bug

#78 - Wrong RMFA (and RMSA) classification

Issue - State: closed - Opened by CerielJacobs about 3 years ago - 3 comments
Labels: bug

#77 - Crash when checking RJA

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 1 comment
Labels: bug

#77 - Crash when checking RJA

Issue - State: closed - Opened by irina-dragoste about 3 years ago - 1 comment
Labels: bug

#76 - Cannot compile with current trident master

Issue - State: closed - Opened by marco-calautti about 3 years ago - 1 comment

#76 - Cannot compile with current trident master

Issue - State: closed - Opened by marco-calautti about 3 years ago - 1 comment

#75 - Fixed bug on determining column dependency for ex variables.

Pull Request - State: closed - Opened by marco-calautti about 3 years ago - 1 comment

#75 - Fixed bug on determining column dependency for ex variables.

Pull Request - State: closed - Opened by marco-calautti about 3 years ago - 1 comment

#74 - include climits

Pull Request - State: closed - Opened by larry-gonzalez about 3 years ago

#74 - include climits

Pull Request - State: closed - Opened by larry-gonzalez about 3 years ago

#73 - Incorrect behavior on string literals from csv-import

Issue - State: closed - Opened by andreschamschurko about 3 years ago - 23 comments

#73 - Incorrect behavior on string literals from csv-import

Issue - State: closed - Opened by andreschamschurko about 3 years ago - 23 comments

#72 - incomplete derivation rule with constant and repeated variable

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#71 - BUG: incorrect reasoning with large rule.

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#71 - BUG: incorrect reasoning with large rule.

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#69 - Incomplete reasoning

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#68 - Incorrect reasoning rule with multiple head atoms

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#67 - Incomplete reasoning

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#66 - Incomplete reasoning for joins with repeated variables

Issue - State: closed - Opened by irina-dragoste over 3 years ago
Labels: bug

#65 - out of memory for rules with many body atoms

Issue - State: closed - Opened by irina-dragoste over 3 years ago - 2 comments
Labels: bug

#64 - Applicability of Rules Depend on their Order in the Rule File

Issue - State: open - Opened by smennicke over 3 years ago - 14 comments
Labels: bug

#62 - Incomplete Derivation from a Datalog Rule Set

Issue - State: closed - Opened by smennicke over 3 years ago - 2 comments
Labels: bug

#62 - Incomplete Derivation from a Datalog Rule Set

Issue - State: closed - Opened by smennicke over 3 years ago - 2 comments
Labels: bug

#61 - Incomplete predicate extension when using existential rules

Issue - State: closed - Opened by larry-gonzalez almost 4 years ago
Labels: bug

#61 - Incomplete predicate extension when using existential rules

Issue - State: closed - Opened by larry-gonzalez almost 4 years ago
Labels: bug

#59 - More missing derivations in VLog

Issue - State: closed - Opened by mkroetzsch about 4 years ago - 2 comments
Labels: bug

#59 - More missing derivations in VLog

Issue - State: closed - Opened by mkroetzsch about 4 years ago - 2 comments
Labels: bug

#58 - Missing derivations in VLog

Issue - State: closed - Opened by mkroetzsch about 4 years ago - 1 comment
Labels: bug

#58 - Missing derivations in VLog

Issue - State: closed - Opened by mkroetzsch about 4 years ago - 1 comment
Labels: bug

#57 - Mix up of terms in trident sources in VLog

Issue - State: open - Opened by mkroetzsch about 4 years ago - 1 comment

#56 - Loading missing trident source kills application

Issue - State: closed - Opened by mkroetzsch about 4 years ago
Labels: bug

#56 - Loading missing trident source kills application

Issue - State: closed - Opened by mkroetzsch about 4 years ago
Labels: bug

#55 - Wrong term type in result from Trident

Issue - State: closed - Opened by mkroetzsch about 4 years ago - 3 comments
Labels: bug

#54 - Language-tagged strings are confused with xsd:Strings

Issue - State: closed - Opened by mkroetzsch about 4 years ago
Labels: bug

#54 - Language-tagged strings are confused with xsd:Strings

Issue - State: closed - Opened by mkroetzsch about 4 years ago
Labels: bug

#53 - More helpful error message for missing data imports

Issue - State: closed - Opened by mkroetzsch about 4 years ago
Labels: enhancement

#52 - Avoid clang-specific -Wimplicit-int-conversion on g++

Pull Request - State: closed - Opened by mmarx about 4 years ago

#52 - Avoid clang-specific -Wimplicit-int-conversion on g++

Pull Request - State: closed - Opened by mmarx about 4 years ago

#51 - VLog C++ crash

Issue - State: closed - Opened by irina-dragoste about 4 years ago
Labels: bug

#51 - VLog C++ crash

Issue - State: closed - Opened by irina-dragoste about 4 years ago
Labels: bug

#50 - VLog C++ crash

Issue - State: closed - Opened by irina-dragoste about 4 years ago - 1 comment
Labels: bug

#50 - VLog C++ crash

Issue - State: closed - Opened by irina-dragoste about 4 years ago - 1 comment
Labels: bug

#49 - Error libc++abi.dylib: terminating with uncaught exception of type int

Issue - State: closed - Opened by irina-dragoste about 4 years ago - 1 comment
Labels: bug

#49 - Error libc++abi.dylib: terminating with uncaught exception of type int

Issue - State: closed - Opened by irina-dragoste about 4 years ago - 1 comment
Labels: bug

#48 - Java API: Provide method for converting IDs to blank names

Issue - State: open - Opened by mkroetzsch over 4 years ago - 2 comments

#47 - Java API: Enable query answering via QueryResultIterator

Issue - State: closed - Opened by mkroetzsch over 4 years ago - 2 comments

#46 - Problems if head is a conjunction with constants

Issue - State: closed - Opened by phil-hanisch over 4 years ago - 2 comments

#46 - Problems if head is a conjunction with constants

Issue - State: closed - Opened by phil-hanisch over 4 years ago - 2 comments

#45 - Building jar for Windows.

Issue - State: open - Opened by irina-dragoste over 4 years ago - 1 comment
Labels: question, documentation

#44 - Fix for #43 breaks negation

Issue - State: closed - Opened by mmarx over 4 years ago - 2 comments

#43 - Missing expected inferences on frontier-less rule with an IDB atom in the body

Issue - State: closed - Opened by mmarx over 4 years ago - 1 comment

#42 - Count query results

Pull Request - State: closed - Opened by larry-gonzalez almost 5 years ago

#42 - Count query results

Pull Request - State: closed - Opened by larry-gonzalez almost 5 years ago

#41 - Memoization option for VLog4j

Issue - State: open - Opened by larry-gonzalez almost 5 years ago

#41 - Memoization option for VLog4j

Issue - State: open - Opened by larry-gonzalez almost 5 years ago

#40 - Small enhancements for VLog I/O

Pull Request - State: closed - Opened by tcalmant almost 5 years ago - 1 comment

#40 - Small enhancements for VLog I/O

Pull Request - State: closed - Opened by tcalmant almost 5 years ago - 1 comment

#39 - Merge EDB data from several sources if possible at low cost

Issue - State: open - Opened by mkroetzsch almost 5 years ago
Labels: enhancement

#39 - Merge EDB data from several sources if possible at low cost

Issue - State: open - Opened by mkroetzsch almost 5 years ago
Labels: enhancement

#38 - Provide direct way to count query results

Issue - State: open - Opened by mkroetzsch about 5 years ago
Labels: enhancement

#37 - Minor syntactic improvements

Pull Request - State: closed - Opened by larry-gonzalez about 5 years ago

#36 - Vlog Crashed during Reasoning

Issue - State: closed - Opened by dcarralma about 5 years ago - 1 comment
Labels: bug

#36 - Vlog Crashed during Reasoning

Issue - State: closed - Opened by dcarralma about 5 years ago - 1 comment
Labels: bug