Keyphrases
- program synthesis
- predicate logic
- formal logic
- knowledge representation and reasoning
- temporal logic
- computational linguistics
- semantic network
- recursive programs
- predicate calculus
- data mining
- lower level
- low level
- artificial intelligence
- knowledge based systems
- software engineering
- inductive logic programming
- semi supervised
- logical formulas
- databases
- order sorted