Probabilization of Logics: Completeness and Decidability.
Pedro BaltazarPublished in: Logica Universalis (2013)
Keyphrases
- decision procedures
- modal logic
- description logics
- computational properties
- query answering
- expressive power
- nonmonotonic logics
- inference rules
- order sorted
- databases
- propositional calculus
- classical logic
- search engine
- data sets
- conjunctive queries
- data quality
- np complete
- learning algorithm
- information retrieval
- conditional logic
- proof theory
- neural network
- propositional dynamic logic