Media type: Book; Conference Proceedings Title: Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings Contributor: Baral, Chitta [Hrsg.]; Brewka, Gerhard [Other]; Schlipf, John [Other] Event: LPNMR imprint: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4483 Extent: IX, 326 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540721991; 9783540721994 Publisher, production or purchase order numbers: Sonstige Nummer: 12056606 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung Wissensrepräsentation > Nichtmonotones Schließen Problemlösen > Inferenz > Computational logic Nichtmonotones Schließen > Deklarative Programmierung > Nichtmonotone Logik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8355 Item ID: 31731453 Status: Loanable, place order > Ordering possible ‒ please log in