|
|||||
|
|
Using clausal deductive databases for defining semantics in disjunctive deductive databases |
|
| Authors: | Dietmar Seipel |
| Affiliation: | (1) Department of Computer Science, University of Würzburg, Am Hubland, D-97074 Würzburg, Germany |
| Abstract: | |
| Keywords: | disjunctive deductive databases clausal logic programming program transformations non-monotonic reasoning stable models closed-world-assumptions hypothetical reasoning |
| 本文献已被 SpringerLink 等数据库收录！ | |