Logical Inference and Its Dynamics.

Carlotta Pavese

Published in: DEON (2016)

Keyphrases

logical inference
theorem proving
probabilistic inference
knowledge compilation
logical structure
expert systems
first order logic
databases
bayesian networks
conditional independence