Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Erdem, Esra (Επιμελητής έκδοσης), Lin, Fangzhen (Επιμελητής έκδοσης), Schaub, Torsten (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Σειρά: Lecture Notes in Computer Science, 5753
• Θέματα: Computer science.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Discrete mathematics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Discrete Mathematics.; Theory of Computation.; Discrete Mathematics in Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Pro...