Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.
Ilkka NiemeläPatrik SimonsPublished in: LPNMR (1997)
Keyphrases
- computational model
- statistical model
- mathematical model
- logic programs
- high level
- logic programming
- similarity measure
- probability distribution
- stochastic programming
- database
- formal model
- conceptual model
- experimental data
- process model
- em algorithm
- software engineering
- management system
- probabilistic model
- objective function
- genetic algorithm
- data sets