Thielscher, Michael
:
A nonmonotonic disputation-based semantics and proof procedure for logic programs.
In: Joint International Conference and Symposium on Logic Programming (JICSLP) : Proceedings. Hrsg.: M. Maher. S. 483-497
.
MIT Press
, Cambridge, Mass. (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)
| Typ des Eintrags: | Konferenz- oder Workshop-Beitrag (Keine Angabe) |
|---|---|
| Erschienen: | 1996 |
| Autor(en): | Thielscher, Michael |
| Titel: | A nonmonotonic disputation-based semantics and proof procedure for logic programs |
| Sprache: | Englisch |
| Reihe: | Joint International Conference and Symposium on Logic Programming (JICSLP) : Proceedings. Hrsg.: M. Maher. S. 483-497 |
| Ort: | Cambridge, Mass. (u.a.) |
| Verlag: | MIT Press |
| Edition: | Cambridge, Mass. (u.a.): MIT Press, 1996 |
| Fachbereich(e)/-gebiet(e): | Fachbereich Informatik |
| Hinterlegungsdatum: | 19 Nov 2008 16:00 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum