A framework for representing and characterizing semantics of 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: 255092 |
| Erscheinungsvermerk | In: Principles of knowledge representation and reasoning. Proceedings of the 3rd International Conference (KR '92). Ed.: B. Nebel. San Mateo, CA 1992. S. 591-602. |