Implementing Modal Tableaux Using Sentential Decision Diagrams.
Rajeev GoréJason Jingshi LiThomas PagramPublished in: Australasian Conference on Artificial Intelligence (2015)
Keyphrases
- sufficient conditions
- decision diagrams
- modal logic
- multi valued
- multiple valued
- digital circuits
- efficient computation
- markov decision processes
- temporal logic
- constraint satisfaction problems
- machine learning
- functional dependencies
- binary decision diagrams
- model checking
- compressed data
- search algorithm
- image sequences
- learning algorithm