Classifying semantics of disjunctive logic programs
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 255192 |
| Erscheinungsvermerk | In: Logic programming. Proceedings of the 1992 Joint International Conference and Symposium. Ed.: K. Apt. Cambridge, Mass. 1992. S. 798-812. |