Mapping Template Semantics to SMV.
Yun LuJoanne M. AtleeNancy A. DayJianwei NiuPublished in: ASE (2004)
Keyphrases
- template matching
- formal semantics
- matching algorithm
- logic programming
- model checking
- semantic information
- update semantics
- formal verification
- ontology mapping
- conceptual graphs
- artificial intelligence
- neural network
- real time
- programming language
- input image
- database
- domain knowledge
- reinforcement learning
- knowledge base
- learning algorithm
- databases
- operational semantics
- symbolic model checking
- argumentation semantics