The Many Rewards of Putting Absolutely Everything into Introductory Logic.
James M. HenlePublished in: TICTTL (2011)
Keyphrases
- reinforcement learning
- computer science
- logic programming
- automated reasoning
- genetic algorithm
- bandit problems
- digital circuits
- logical framework
- multi valued
- markov decision processes
- modal logic
- state space
- defeasible logic
- case study
- epistemic logic
- deontic logic
- asynchronous circuits
- proof theory
- database
- long term and short term