Login / Signup
Axioms for Definability and Full Completeness.
Samson Abramsky
Published in:
CoRR (2014)
Keyphrases
</>
fixed point
propositional logic
knowledge base
first order logic
finitely representable
machine learning
real time
databases
decision making
reinforcement learning
finite model theory