Minimum model semantics for logic programs with negation-as-failure.
Panos RondogiannisWilliam W. WadgePublished in: ACM Trans. Comput. Log. (2005)
Keyphrases
- description logics
- conceptual model
- experimental data
- neural network
- formal model
- prior knowledge
- probabilistic model
- management system
- theoretical analysis
- computational model
- graphical representation
- finite state machines
- statistical model
- process model
- theoretical framework
- general purpose
- probability distribution
- cost function
- expert systems
- multi agent systems
- objective function