Keyphrases
- scripting language
- positive and negative
- modal logic
- multi valued
- programming language
- proof search
- logic programming
- proof theory
- predicate logic
- computational properties
- programming environment
- positively correlated
- version space
- classical logic
- subgroup discovery
- concept learning
- intuitionistic logic
- database
- proof planning
- concurrent programming
- deontic logic
- event driven
- object oriented programming
- inductive inference
- inductive learning
- inductive logic programming
- user interface