Robert Hoehndorf

Métodos innovadores refinan las incrustaciones de ontología para una mejor completación de bases de conocimiento.

2025-08-12T11:41:36+00:00 ― 6 minilectura

FEAS mejora la demostración automática de teoremas para ecuaciones funcionales usando nuevas estrategias.

2025-07-19T00:19:42+00:00 ― 7 minilectura

Descubre cómo DELE mejora la finalización de bases de conocimiento con técnicas inteligentes.

2025-06-01T02:05:18+00:00 ― 6 minilectura