issues
search
own-pt
/
cl-krr
Environment for knowledge representation, reasoning, and engineering.
Apache License 2.0
4
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
superfluous axioms
#27
arademaker
opened
4 years ago
2
s_equal_m and s_equal
#26
arademaker
opened
4 years ago
0
minimum number of parameters in VariableArityRelation
#25
arademaker
closed
5 years ago
2
bug transformation subclass
#24
arademaker
opened
5 years ago
3
non equivalent transformation of axiom
#23
arademaker
opened
5 years ago
5
bug in the transformation of row variables
#22
arademaker
opened
5 years ago
3
reload the library raise an error
#21
arademaker
opened
5 years ago
0
equal
#20
arademaker
closed
5 years ago
9
Explain why formula can't be translated to TPTP-FOF
#19
fcbr
opened
5 years ago
1
SInE to prune the unprocessed axioms
#18
arademaker
opened
5 years ago
0
Use disambiguated names for constant-arity functions, but whose arity is not known
#17
fcbr
opened
5 years ago
0
Better support for detecting arity of a relation
#16
fcbr
opened
5 years ago
10
queries support
#15
arademaker
opened
5 years ago
0
Exclude RANGE from the generated predicates
#14
fcbr
closed
5 years ago
0
elaboration of expressions (formulas or terms)
#13
arademaker
opened
5 years ago
0
axioms domain/range
#12
arademaker
opened
5 years ago
15
Check if there is a bug related to multiple superclasses
#11
hmuniz
opened
5 years ago
1
Remove the mlisp dependency
#10
hmuniz
closed
5 years ago
1
dependencies between files
#9
arademaker
opened
5 years ago
0
SUMO to HOL
#8
arademaker
opened
8 years ago
0
get-explicit-types should support subclass?
#7
fcbr
opened
8 years ago
0
transform resolution proofs into ND/SC proofs?
#6
arademaker
opened
8 years ago
0
Remove redundant antecedents from expanded variables in predicate position
#5
fcbr
opened
8 years ago
0
Fix tests
#4
fcbr
opened
8 years ago
0
Adjust readtable to support proper casing
#3
fcbr
closed
5 years ago
8
Speed up subclass checks
#2
fcbr
opened
8 years ago
2
Redundant relativization
#1
fcbr
closed
5 years ago
3