Quotient Dynamics: The Logic of Abstraction.
Alexandru BaltagNick BezhanishviliJulia IlinAybüke ÖzgünPublished in: LORI (2017)
Keyphrases
- bounded model checking
- modal logic
- dynamic model
- multi valued
- dynamical systems
- logic programming
- machine intelligence
- automated reasoning
- computational properties
- high level
- database
- neural network
- classical logic
- logic programs
- control system
- temporal logic
- defeasible logic
- predicate logic
- asynchronous circuits
- proof theory
- data sets