Modular Formalization of Reactive Modules in COQ.
Ming-Hsien TsaiBow-Yaw WangPublished in: ASIAN (2006)
Keyphrases
- modular structure
- modular architecture
- modular neural network
- modular robots
- knowledge representation
- formal model
- theorem prover
- formal methods
- agent architecture
- event driven
- knowledge structures
- building blocks
- databases
- data sets
- search algorithm
- database systems
- operational semantics
- functional modules
- reactive systems
- learning algorithm
- genetic algorithm
- data mining