Parameterized Parallel Computing and First-Order Logic.
Yijia ChenJörg FlumPublished in: Fields of Logic and Computation III (2020)
Keyphrases
- parallel computing
- first order logic
- expressive power
- propositional logic
- inference rules
- theorem proving
- knowledge representation
- probabilistic reasoning
- computing systems
- shared memory
- probabilistic graphical models
- markov networks
- theorem prover
- inductive logic programming
- representation language
- relational algebra
- transitive closure
- markov logic networks
- logical rules
- quantifier elimination
- artificial intelligence
- parallel algorithm
- database