Combining probability and logic: Papers from Progic 2011.
Jeffrey HelznerPublished in: J. Appl. Log. (2013)
Keyphrases
- probability theory
- special issue
- probability distribution
- logic programming
- modal logic
- automated reasoning
- special section
- quantum computation
- academic papers
- real time
- proof theory
- international journal
- asynchronous circuits
- defeasible logic
- classical logic
- programming language
- digital libraries
- artificial intelligence
- databases