SMT-AI: an Abstract Interpreter as Oracle for k-induction.
Pierre RouxRemi DelmasPierre-Loïc GarochePublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- artificial intelligence
- machine learning
- knowledge representation and reasoning
- case based reasoning
- programming language
- ai systems
- expert systems
- ai technologies
- knowledge representation
- knowledge based systems
- inductive logic programming
- john mccarthy
- databases
- explanation based learning
- inductive learning
- oracle database
- higher level
- production system
- database design
- rule induction
- natural language generation
- statistical machine translation
- intelligent systems
- program synthesis
- low level
- information retrieval