Logic Programming and Nonmonotonic Reasoning - LPNMR 2005; Baral, Chitta; Kanade, Takeo; Greco, Gianluigi; Leone, Nicola; Terracina, Giorgio (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Artificial Intelligence