Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata.
Filip MazowieckiCristian RiverosPublished in: CSL (2015)
Keyphrases
- logical representation
- logical rules
- logical operations
- probabilistic logic
- lambda calculus
- cellular automata
- total cost
- probabilistic knowledge
- neural network
- proof theory
- predicate calculus
- high cost
- logic programming
- automated reasoning
- expected cost
- classical logic
- defeasible logic
- finite state
- minimum cost
- modal logic
- knowledge representation
- reinforcement learning
- data sets