A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract).
P. N. BentonPublished in: CSL (1994)
Keyphrases
- extended abstract
- co occurrence
- experimental data
- statistical model
- model selection
- databases
- parametric models
- theorem proving
- logic programming
- probabilistic model
- multi agent
- real time
- parameter estimation
- background knowledge
- case study
- knowledge base
- statistical models
- feature selection
- neural network
- autoregressive
- natural deduction