Safety of abstract interpretations for free, via logical relations and Galois connections.
Kevin BackhouseRoland Carl BackhousePublished in: Sci. Comput. Program. (2004)
Keyphrases
- formal concepts
- logical structure
- formal concept analysis
- noun noun compounds
- logical framework
- temporal relations
- semantic relations
- machine learning
- logic programs
- background knowledge
- low level
- bayesian networks
- high level
- artificial intelligence
- causal relations
- truth values
- databases
- logical reasoning
- safety analysis
- data sets