LESK: A Language Synthetizing Natural Language, Computer Language And Logic.

Douglas R. Skuce

Published in: COLING (1982)

Keyphrases

natural language
formal language
language processing
language learning
conceptual graphs
formal languages
proof theory
knowledge representation
programming language
human language
highly expressive
modeling language
knowledge representation language
intuitionistic logic