Juice: A Julia Package for Logic and Probabilistic Circuits.
Meihua DangPasha KhosraviYitao LiangAntonio VergariGuy Van den BroeckPublished in: AAAI (2021)
Keyphrases
- logic synthesis
- probabilistic logic
- delay insensitive
- digital circuits
- asynchronous circuits
- logical inference
- logic circuits
- probability theory
- high speed
- probabilistic model
- chip design
- data sets
- logic programming
- bayesian networks
- multi valued
- flip flops
- classical logic
- truth table
- probabilistic knowledge
- analog circuits
- uncertain data
- predicate logic
- random access memory
- quantum computing
- real time
- built in self test
- epistemic logic
- defeasible logic
- circuit design
- logical framework
- automated reasoning
- conditional probabilities
- generative model
- logic programs
- knowledge base