Mathematical Inference and Logical Inference.

Published in: Rev. Symb. Log. (2018)

Keyphrases

logical inference
theorem proving
probabilistic inference
database
conditional independence
logical structure
expert systems
machine learning
artificial intelligence
domain knowledge
knowledge representation
logic programs