-
Notifications
You must be signed in to change notification settings - Fork 19
Issues: dig-team/amie
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Clean up the command line parameters
enhancement
New feature or request
#57
opened Feb 20, 2021 by
Fran-cois
Anytime AMIE
dependencies
Pull requests that update a dependency file
enhancement
New feature or request
priority-low
#54
opened Dec 14, 2020 by
lgalarra
Question about subsumption and QueryEquivalenceChecker3.unify
priority-low
todo
#36
opened Jul 22, 2020 by
falcaopetri
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.