Of Starships and Klingons: Bayesian Logic for the 23rd Century.
Kathryn B. LaskeyPaulo Cesar G. da CostaPublished in: UAI (2005)
Keyphrases
- multi valued
- classical logic
- st century
- logic programming
- bayesian networks
- bayesian decision
- truth values
- computational properties
- bayesian estimation
- modal logic
- predicate logic
- bayesian learning
- bayesian inference
- posterior probability
- maximum likelihood
- data driven
- artificial intelligence
- real time
- database
- expressive power
- automated reasoning
- multi agent
- website
- information systems
- genetic algorithm
- machine learning
- deontic logic
- asynchronous circuits
- delay insensitive