|
|||||
|
|
Towards a Systematic Account of Different Semantics for Logic Programs |
|
| Authors: | Hitzler Pascal |
| Affiliation: | AIFB, University of Karlsruhe, Germany. E-mail: hitzler{at}aifb.uni-karlsruhe.de |
| Abstract: | |
| Keywords: | Logic programming nonmonotonic reasoning stable semantics well-founded semantics Fitting semantics stratificatin |
| 本文献已被 Oxford 等数据库收录！ | |