A correct top-down proof procedure for a general logic program with integrity constraints
Abstract: "We present a correct top-down procedure for every general logic program with integrity constraints. Recently, stable model semantics [4] of logic programs was proposed and has been investigated intensively. Although there are correct bottom-up procedures for every general logic progr...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1992
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
739 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|