Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language.

Giorgio Levi Giuseppe Sardu

Published in: New Gener. Comput. (1988)

Keyphrases

partial evaluation
explanation based generalization
programming language
logic programming
modal logic
dynamic logic
artificial intelligence
keywords
support vector
natural language
information extraction
text mining
text classification
wordnet
formal language