Semantic Minimization of 3-Valued Propositional Formulae.
Thomas W. RepsAlexey LoginovShmuel SagivPublished in: LICS (2002)
Keyphrases
- propositional logic
- valued logic
- objective function
- semantic information
- semantic annotation
- semantic web
- first order logic
- semantic network
- semantic level
- natural language
- multi valued
- horn clauses
- strips planning
- quantified boolean formulae
- high level
- probabilistic logic
- semantic representation
- semantic knowledge
- semantic content
- statistical relational learning
- semantically rich
- semantic analysis
- semantically equivalent
- default logic
- image retrieval