01007nam0-22003251i-450-99000102920040332120070119143641.00-262-64027-9000102920FED01000102920(Aleph)000102920FED0100010292020001205d1991----km-y0itay50------baengLogic programming and non-monotonic reasoningproceedings of the first international workshop held July 1991, Washington D.C.edited by Anil Nerode, Wiktor Marek, and V.S. SubrahmanianCambridge, Mass.MIT Press1991vi, 288 p.23 cmLogicaRicorsività160Marek,WiktorNerode,AnilSubrahmanian,V.S.ITUNINARICAUNIMARCBK9900010292004033217-28820049FI1FI1Logic programming and non-monotonic reasoning339266UNINA