Symbolic model checking of declarative relational models.
Felix Sheng-Ho ChangDaniel JacksonPublished in: ICSE (2006)
Keyphrases
- symbolic model checking
- relational models
- model checking
- relational model
- relational data
- graphical models
- partial observability
- probabilistic reasoning
- symbolic representation
- bayesian networks
- formal verification
- efficient learning
- relational databases
- probabilistic graphical models
- relational learning
- knowledge representation
- binary decision diagrams
- domain independent
- learning algorithm
- temporal information
- database technology
- data model
- planning domains
- relational structures
- databases
- belief propagation
- data structure
- conditional random fields
- high level
- probabilistic model