Anuncio publicitario
Fuxi
Un reenvío hacia adelante basado en N3, Rensador DL para RDFLIB ...
Biblioteca de Python encadenamiento hacia adelante Razonador dl Dl
Razonador de lisp comunes
El razonador de Lisp comunes tiene como objetivo crear una tecnología práctica que explota la sinergia entre sus tres componentes principales. ...
Razonador lógico
El razonador lógico es un Prover Thorem para la lógica de primer orden con igualdad. ...
cálculo Prover de teorema representación de la fórmula resolución subsunción teorema