| ... | ... | @@ -12,4 +12,5 @@ |
|
|
|
| Parisa Fathian Boroujeni | "Evonne: Interactive Proof Visualization for Description Logics (System Description)" (see Malika Tillaeva) |
|
|
|
|
| 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 |
|
|
|
|
| Ali Kodera | something Programming/Computation in ALeA | |
|
|
\ No newline at end of file |
|
|
|
| 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 |
