The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.
Clint J. van AltenJames G. RafteryPublished in: Stud Logica (1999)
Keyphrases
- formal model
- management system
- high level
- mathematical model
- theoretical framework
- computational model
- theoretical analysis
- conceptual model
- experimental data
- evolutionary algorithm
- data sets
- em algorithm
- d objects
- probability distribution
- statistical model
- hidden markov models
- similarity measure
- prediction model
- finite number