Controlling Program Extraction in Light Logics.

Published in: TLCA (2011)

Keyphrases

expressive power
automatic extraction
information extraction
program execution
data sets
inference rules
control program
neural network
artificial intelligence
search engine
knowledge base
natural language
modal logic
static analysis