issues
search
arademaker
/
krr
Knowledge Representation and Reasoning
3
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Recoloquei as funções "lookup" e "chasevar".
#55
paulodt
closed
9 years ago
1
Agora podemos usar as funções diretamente do "krr-user"
#54
paulodt
closed
9 years ago
0
Apenas corrigindo um pequeno erro na função "good-elt?".
#53
paulodt
closed
9 years ago
1
Patch 3
#52
paulodt
closed
9 years ago
2
Unificação para fol
#51
paulodt
closed
9 years ago
2
Criando testes para a função "input-tab"
#50
paulodt
closed
9 years ago
1
Atualização do fol e tableaux
#49
vinicius-f
closed
9 years ago
1
Criando a função "wft?".
#48
rkatz36368
closed
9 years ago
0
correçao da funçao length-form
#47
hcrespo
closed
9 years ago
1
mudando a função "show-sudoku" para retornar uma matriz.
#46
paulodt
closed
9 years ago
1
retirando a função sudoku.
#45
paulodt
closed
9 years ago
1
Adicionando a função "sentence" e a função "table".
#44
paulodt
closed
9 years ago
4
Adicionando a função "sentence".
#43
paulodt
closed
9 years ago
0
Adicionando a função 'in_tableaux'.
#42
paulodt
closed
9 years ago
2
Update fol.lisp
#41
hcrespo
closed
9 years ago
1
tableaux para FOL
#40
arademaker
opened
9 years ago
0
skolemização de fórmulas FOL
#39
arademaker
opened
9 years ago
0
documentation
#38
arademaker
opened
9 years ago
0
testing framework
#37
arademaker
opened
9 years ago
2
Skolemization
#36
vinicius-f
closed
9 years ago
0
Funções e termos no preproc
#35
vinicius-f
closed
9 years ago
0
unificação para FOL
#34
arademaker
opened
9 years ago
5
sentença => CNF
#33
hcrespo
closed
9 years ago
1
changing the function "length-form"
#32
paulodt
closed
9 years ago
3
funçao para converter sentença em CNF
#31
hcrespo
opened
9 years ago
7
Atualização do preproc e novo arquivo fol.lisp
#30
vinicius-f
closed
9 years ago
0
Create fol.lisp
#29
bernardorusso
closed
9 years ago
1
.
#28
vinicius-f
closed
9 years ago
0
Creating the function "length-form"
#27
paulodt
closed
9 years ago
0
Clausal de/para CNF
#26
bernardorusso
opened
9 years ago
3
função básica de fol e sugestão de representação de sentença.
#25
paulodt
closed
9 years ago
0
FOL formulas
#24
arademaker
opened
9 years ago
2
função para medir tamanho de fórmula
#23
arademaker
closed
9 years ago
8
Issue #11
#22
bernardorusso
closed
9 years ago
1
issue #17
#21
rkatz36368
closed
9 years ago
0
Vinicius f patch 1
#20
vinicius-f
closed
9 years ago
2
otimização prove
#19
arademaker
closed
9 years ago
1
prove em outros pacotes que usem tableaux
#18
arademaker
closed
9 years ago
1
introduzir equivalência com açúcar sintático
#17
arademaker
closed
9 years ago
2
Conforme proposto
#16
bernardorusso
closed
9 years ago
1
Paulodt patch 2
#15
paulodt
closed
9 years ago
1
Paulodt patch 2
#14
paulodt
closed
9 years ago
0
versão alternativa do sudoku
#13
bernardorusso
closed
9 years ago
1
codificação alternativa de sudoku #11
#12
bernardorusso
closed
9 years ago
1
otimizações de sudoku
#11
arademaker
opened
9 years ago
8
Solve sudoku
#10
bernardorusso
closed
9 years ago
0
preproc modificado
#9
rkatz36368
closed
9 years ago
1
Bernardorusso patch 1
#8
bernardorusso
closed
9 years ago
0
Update tableaux-ext.lisp
#7
vinicius-f
closed
9 years ago
0
Update sudoku.lisp
#6
bernardorusso
closed
9 years ago
0
Next