Automated Inference in Active Logics.
Michael J. MillerDonald PerlisPublished in: J. Appl. Non Class. Logics (1996)
Keyphrases
- modal logic
- probabilistic reasoning
- bayesian networks
- semi automated
- dynamic bayesian networks
- fully automated
- bayesian model
- probabilistic inference
- bayesian inference
- horn logic
- database
- nonmonotonic inference
- automated analysis
- efficient learning
- decision theoretic
- context sensitive
- computer assisted
- case study
- website
- information systems
- social networks
- data mining