| ... | @@ -13,3 +13,4 @@ |
... | @@ -13,3 +13,4 @@ |
|
|
| Vatsal Bambhania | "Ontology Completion using DL" - I yet have to find good papers regarding the topic (alternatively: premise selection / theorem discovery / autoformalization) |
|
|
| Vatsal Bambhania | "Ontology Completion using DL" - I yet have to find good papers regarding the topic (alternatively: premise selection / theorem discovery / autoformalization) |
|
|
|
| Shamseldin Elkhatib | something Programming/Computation in ALeA |
|
|
| Shamseldin Elkhatib | something Programming/Computation in ALeA |
|
|
|
| Ali Kodera | something Programming/Computation in ALeA |
|
|
| Ali Kodera | something Programming/Computation in ALeA |
|
|
|
|
| Annick Faal | "Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method", Xiaolin Hu, Lingyu Wu, ...| |
|
|
|
\ No newline at end of file |
