Hacking nondeterminism with induction and coinduction.
Filippo BonchiDamien PousPublished in: Commun. ACM (2015)
Keyphrases
- program synthesis
- intelligence and security informatics
- inductive learning
- concept learning
- constructive induction
- concept formation
- rule induction
- situation calculus
- inductive logic programming
- inductive inference
- explanation based learning
- functional programs
- website
- penetration testing
- inductive reasoning
- proof planning
- databases
- htn planning
- security threats
- version space
- orders of magnitude
- domain knowledge
- multiscale
- machine learning