Stationary generated models of generalized logic programs
The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs....
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Universität Potsdam
2010
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41501 http://opus.kobv.de/ubp/volltexte/2010/4150/ |