Foundations of Reasoning with Uncertainty via Real-valued Logics.
Ronald FaginRyan RiegelAlexander G. GrayPublished in: CoRR (2020)
Keyphrases
- real valued
- interval valued
- proof theory
- inheritance reasoning
- complex valued
- multiple instance
- modal logic
- real valued data
- horn logic
- latent variables
- integer valued
- default reasoning
- knowledge base
- distributed representations
- probabilistic model
- learning algorithm
- text mining
- knowledge representation
- data sets
- inference rules
- digital libraries
- search engine
- information retrieval
- machine learning