VarSem: declarative expression and automated inference of variable usage semantics.
Yin LiuEli TilevichPublished in: GPCE (2020)
Keyphrases
- truth maintenance systems
- elimination algorithm
- semi automated
- probabilistic inference
- inference engine
- attribute grammars
- formal semantics
- fully automated
- bayesian networks
- logic programming
- lexical semantics
- semantic information
- bayesian inference
- inference mechanism
- declarative language
- expert systems
- high level
- default reasoning
- object oriented
- knowledge representation
- rule engine