Buscar
Mostrando ítems 20121-20130 de 20176
Combining clause learning and resolution for multimodal reasoning
(2020-05-15)
Vários aspectos de sistemas computacionais complexos podem ser modelados utilizando linguagens lógicas, que permitem a caracterização de noções como probabilidades, pos- sibilidades, noções temporais, conhecimento e crenças ...