Contents and s in co-operation with Luc De Raedt. of the University of ... identify substructure that causes it to 'dock' on certain other molecules ...
Programa o em L gica Indutiva Jacques Robin DI-UFPE O que programa o em l gica? Paradigma de linguagem de programa o que unifica: Engenharia de Software ...
this is an operational point of view because there are many deductive operators ... lgg of literals (= atoms or negated atoms) : lgg(atom1,atom2) = see above ...
A Hybrid Relational Approach for Word Sense Disambiguation in Machine Translation ... WSD in Machine Translation (MT) Lexical choice in the case of semantic ...