Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, L
67,31 €
Forward and backward chaining in constraint programming. - Strong and weak constraints in disjunctive datalog. - Nonmonotonic reasoning with quantified boolean constraints. - Improving the alternating fixpoint: The transformation approach.
Jetzt bei Ebay:
