Bialgebraic Reasoning on Higher-Order Program Equivalence.
Sergey GoncharovStefan MiliusStelios TsampasHenning UrbatPublished in: CoRR (2024)
Keyphrases
- higher order
- pairwise
- natural images
- high order
- markov random field
- meta level
- knowledge base
- program execution
- lower order
- automated reasoning
- computer programs
- probabilistic reasoning
- test cases
- knowledge representation
- reasoning systems
- low order
- reasoning tasks
- neural network
- program understanding
- default reasoning
- logic programming
- rough sets
- bayesian networks
- image segmentation
- machine learning