A Novel Stable Model Computation Approach for General Dedcutive Databases
The aim of this thesis is to develop faster method for stable model computation of non-stratified logic programs and study its efficiency. It focuses mainly on the stable model and weak well founded semantics of logic programs. We propose an approach to compute stable models by where we first transf...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Digital Archive @ GSU
2010
|
| Subjects: | |
| Online Access: | http://digitalarchive.gsu.edu/cs_theses/68 http://digitalarchive.gsu.edu/cgi/viewcontent.cgi?article=1068&context=cs_theses |