Propaganda
Divisi.
Raciocínio de Commonsenses sobre redes semânticas ...
Biblioteca Python. redes semântica commonsense Raciocínio Redes Semânticas
Raciocínio lógico
Logic Railer é um provador de teoremas para a lógica de primeira ordem com igualdade. ...
cálculo Prover de Teorema Representação de fórmulas resolução subsunção teorema
Cálculo do cálculo do evento discreto
Discrete Event Calculus Racalioner é um programa de código aberto para realizar o raciocínio automatizado de commissenses. ...
evento cálculo commonsense Raciocínio Discreto Cálculo do evento.
Divisi2.
Raciocínio de Commonsenses sobre redes semânticas ...
redes semântica commonsense Raciocínio Redes Semânticas raciocínio