Declarative formalization of knowledge translation

International Conference on Information and Knowledge Management, Proceedings

Volumn , Issue , 1995, Pages 340-347

  Buvac, Sasa ^a   Fikes, Richard ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; ENCODING (SYMBOLS); KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; THEOREM PROVING;

DECLARATIVE FORMALIZATION; FORMALISM; INTERLINGUA BASED METHODOLOGY; PREDICATE LOGIC INTERLINGUA; VOCABULARY;

KNOWLEDGE REPRESENTATION;

EID: 0029452781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)