Keyphrases
- logic programming
- expert systems
- mechanical properties
- knowledge representation
- electron microscopy
- context free grammars
- natural language
- programming language
- prolog programs
- knowledge base
- constraint satisfaction
- context free
- attribute grammars
- linguistic knowledge
- theorem proving
- graph grammars
- logic programming language
- broad coverage
- explanation based generalization
- data sets
- inference engine
- grammatical inference
- context sensitive
- information extraction
- constraint logic programming
- dependency structure
- data model
- phrase structure
- information retrieval