Introducing Inductive Construction in B with the Theory Plugin.
Julien CervelleFrédéric GervaisPublished in: ABZ (2023)
Keyphrases
- theoretical framework
- theoretical basis
- machine learning
- formal theory
- real time
- decision theory
- information theory
- digital libraries
- evolutionary algorithm
- probabilistic model
- multiscale
- theoretical foundation
- clustering algorithm
- concept learning
- information systems
- information retrieval
- probability theory
- construction process
- database
- deductive reasoning