On asymptotic divergency in equivalential logics.
Zofia KostrzyckaPublished in: Math. Struct. Comput. Sci. (2008)
Keyphrases
- expressive power
- modal logic
- worst case
- nonmonotonic logics
- asymptotically optimal
- inference rules
- expected values
- propositional calculus
- propositional dynamic logic
- databases
- rates of convergence
- asymptotic properties
- asymptotic optimality
- intuitionistic logic
- laplace transform
- decision procedures
- epistemic logic
- large deviations
- truth values
- computational properties
- expert systems
- case study
- artificial intelligence
- information retrieval
- machine learning
- real world