Statistics of implicational logic.
Marek ZaioncPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- logic programming
- modal logic
- sound and complete axiomatization
- information systems
- website
- image statistics
- computational properties
- order statistics
- proof theory
- dynamic logic
- asynchronous circuits
- deontic logic
- epistemic logic
- formal theory
- classical logic
- machine learning
- statistical modeling
- confidence intervals
- multi agent systems
- search engine
- learning algorithm
- information retrieval