Keyphrases
- abductive reasoning
- logic programming
- formal language
- natural language
- logic programs
- classical logic
- grammatical inference
- predicate logic
- context free grammars
- computational properties
- explanation based learning
- multi valued
- parse selection
- neural network
- digital circuits
- context free
- probabilistic logic
- automated reasoning
- modal logic
- background knowledge
- natural language processing
- machine learning