Connecting Higher-Order Separation Logic to a First-Order Outside World.
William ManskyWolf HonoréAndrew W. AppelPublished in: ESOP (2020)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- natural images
- high order
- linear temporal logic
- multi valued
- pairwise
- logic programming
- markov random field
- predicate calculus
- low order
- general logic programs
- world model
- automated reasoning
- classical logic
- predicate logic
- lower order
- logical framework
- computational properties
- probabilistic logic
- horn clauses
- model theoretic
- conditional random fields
- logic programs
- programming language
- knowledge base