Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings - LPNMR 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Niemelä, Ilkka, 1961- (Berlin ; New York : Springer, 2004)
Includes bibliographical references and index.
Keywords: Logic programming -- Congresses; Nonmonotonic reasoning -- Congresses