First Page | Document Content | |
---|---|---|
![]() Date: 2006-09-29 22:13:24Mathematics Model theory Artificial intelligence Markov logic network Logic form Hidden Markov model First-order logic Predicate Atomic formula Logic Mathematical logic Predicate logic | Add to Reading List |