Quantified Synthesis of Reversible Logic.
Robert WilleHoang Minh LeGerhard W. DueckDaniel GroßePublished in: DATE (2008)
Keyphrases
- logic synthesis
- markov chain
- functional programs
- classical logic
- modal logic
- cellular automata
- program synthesis
- logic programming
- multi valued
- database
- automated reasoning
- computational properties
- neural network
- face recognition
- bayesian networks
- expert systems
- website
- knowledge base
- probability theory
- probabilistic logic
- artificial intelligence
- information retrieval