Constructive Formalization of Hybrid Logic with Eventualities.
Christian DoczkalGert SmolkaPublished in: CPP (2011)
Keyphrases
- logical framework
- operational semantics
- formal logic
- sound and complete axiomatization
- data sets
- classical logic
- automated reasoning
- hybrid learning
- formal model
- knowledge representation
- logical language
- multi valued
- probabilistic logic
- logic programming
- computational properties
- predicate logic
- proof theory
- e learning
- logic synthesis
- data mining