TU Darmstadt / ULB / TUbiblio

A nonmonotonic disputation-based semantics and proof procedure for logic programs

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 Eintrag anzeigen