Keyphrases
- programs written
- application specific integrated circuits
- program synthesis
- logic programming
- recursive programs
- automated reasoning
- information systems
- proof theory
- declarative semantics
- intrusion detection
- hardware and software
- predicate logic
- programming environment
- classical logic
- computer programs
- flip flops
- set theory
- databases
- low power
- logic programs
- data mining techniques
- programming language
- expert systems
- artificial intelligence
- neural network