Logic programming and non-monotonic reasoning

Name: Logic programming and non-monotonic reasoning
Author: Anil Nerode, Wiktor Marek, V. S. Subrahmanian

by Anil Nerode, Wiktor Marek, V. S. Subrahmanian

Cover of Logic programming and non-monotonic reasoning

No description available.

Logic programmingNonmonotonic reasoningProgrammation logiqueRaisonnementKongressWissensbasiertes SystemCongressesNichtmonotones Schlie©enLogisch programmerenCongre s.SchlussfolgernLogische Programmierung