Ecosyste.ms: Issues

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

GitHub / arademaker/krr-2017.1 issues and pull requests

#13 - SLD derivation implementation

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#13 - SLD derivation implementation

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#12 - add sick pair 903 in tptp

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#12 - add sick pair 903 in tptp

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#11 - add sum example in tptp format

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#11 - add sum example in tptp format

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#10 - exercicio2-cap4 snark

Pull Request - State: closed - Opened by hmuniz over 7 years ago

#10 - exercicio2-cap4 snark

Pull Request - State: closed - Opened by hmuniz over 7 years ago

#9 - Adding the resolution of the Chapter 3's Exercise 1 and of the Chapte…

Pull Request - State: closed - Opened by danfol04 over 7 years ago

#8 - exercicio2-cap4

Pull Request - State: closed - Opened by MatheusBorghi over 7 years ago

#7 - CNF converter

Pull Request - State: closed - Opened by hmuniz over 7 years ago

#6 - add new exercise, correct previous exercises

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#5 - add dresses problem in tptp format

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#4 - add tptp version of problem; correct notebook mistakes

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#3 - add exercise 4, chapter 3

Pull Request - State: closed - Opened by odanoburu over 7 years ago

#2 - Exemplos de formalizações

Issue - State: open - Opened by arademaker over 7 years ago - 7 comments

#1 - Examples FOL

Issue - State: closed - Opened by arademaker over 7 years ago