TY - BOOK
AU - LPNMR 9 2007 Tempe, Ariz
AU - Baral, Chitta
AU - Brewka, Gerhard
AU - Schlipf, John
TI - Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings
PB - Springer
SN - 3540721991
SN - 9783540721994
KW - Logic programming Congresses
KW - Nonmonotonic reasoning Congresses
KW - Konferenzschrift
KW - Konferenzschrift 2007 Tempe, Ariz.
KW - Logische Programmierung
KW - Wissensrepräsentation
KW - Nichtmonotones Schließen
KW - Problemlösen
KW - Inferenz Künstliche Intelligenz
KW - Computational logic
KW - Deklarative Programmierung
KW - Nichtmonotone Logik
PY - 2007
N2 - Literaturangaben
BT - Lecture notes in computer science ; 4483 ; Lecture notes in artificial intelligence
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation