A Kripke-Style Model for the Admissibility of Structural Rules.
Healfdene GoguenPublished in: TYPES (2000)
Keyphrases
- probabilistic model
- statistical model
- experimental data
- theoretical framework
- computational model
- inference engine
- formal model
- mathematical model
- maximum likelihood
- objective function
- management system
- probability distribution
- neural network
- prior knowledge
- case study
- knowledge base
- structural information
- modal logic
- expert knowledge
- social networks
- desirable properties
- data mining