Logic programming and nonmonotonic reasoning: 9th international conference, LPNMR 2007, Tempe, AZ, U… - SLUB Dresden

Medientyp: Buch; Konferenzbericht

Titel: Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings

Beteiligte: Baral, Chitta [Hrsg.]; Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]; Schlipf, John [Sonstige Person, Familie und Körperschaft]

Veranstaltung: LPNMR

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2007

Umfang: IX, 326 S.; graph. Darst; 235 mm x 155 mm

Sprache: Englisch

ISBN: 3540721991; 9783540721994

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12056606

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Logische Programmierung
Wissensrepräsentation > Nichtmonotones Schließen
Problemlösen > Inferenz > Computational logic
Nichtmonotones Schließen > Deklarative Programmierung > Nichtmonotone Logik

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings