01445nam--2200397---450 99000089245020331620180312154721.03-540-42593-40089245USA010089245(ALEPH)000089245USA01008924520020122d2001----km-y0ITAy0103-------baENGDELogic programming and nonmonotonic reasoning6th International conference, LPNMR 2001Vienna, Austria, September 17-19, 2001proceedingsThomas Eiter ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001XI, 444 p.ill.20 cmLecture notes in artificial intelligence2173Serie principale: Lecture notes in computer science2001Lecture notes in artificial intelligence2173Elaboratori elettroniciProgrammazioneLogica matematica0051Eiter,ThomasInternational conference LPNMR 2001 <6. ; 2001 ; Vienna, Austria>551611ITACBSISBD990000892450203316006.3 LNIA (2173)0027160 CBS006.300110801BKSCIALANDI9020020122USA01112520020403USA011733PATRY9020040406USA011701Logic programming and nonmonotonic reasoning970085UNISA