Metadata
Author: EurLex-2
Data
Danish[da]
- inferensteknikker , specielt for videnrepraesentationsformalismer , for hvilke der ikke findes nogen kendt bevisalgoritme
German[de]
- INFERENZTECHNIKEN , INSBESONDERE FÜR KR-FORMALISMEN , DIE KEINE BEKANNTEN BEWEISALGORITHMEN BESITZEN ;
English[en]
- INFERENCE TECHNIQUES , ESPECIALLY FOR KR FORMALISMS THAT HAVE NO KNOWN PROOF ALGORITHM
French[fr]
- LES TECHNIQUES D'INFERENCE , NOTAMMENT POUR LES FORMALISMES DE REPRESENTATION DE LA CONNAISSANCE QUI N'ONT PAS D'ALGORITHME DE PREUVE CONNU ;
Dutch[nl]
- inferentietechnieken , speciaal voor KR-formalismen die geen bekend bewijsalgorithme hebben