Vladimir Lifschitz
AI logics Erfüllbarkeitsproblem der Aussagenlogik answer set programming computational logics constraint programming knowledge-based systems learning logic logic programming logic-based programming nonclassical logics nonmonotonic reasoning optimization probabilistic reasoning semantics