Concurrent weighted logic.
Kim G. LarsenRadu MardareBingtian XuePublished in: J. Log. Algebraic Methods Program. (2015)
Keyphrases
- modal logic
- predicate logic
- learning algorithm
- weighted distance
- weighted sum
- proof theory
- logic programming
- classical logic
- defeasible logic
- set theory
- concurrent programming
- machine learning
- deductive reasoning
- hierarchical reinforcement learning
- asynchronous circuits
- formal theory
- nonmonotonic logics
- database systems
- artificial intelligence
- information retrieval