Logic programs with stable model semantics as a constraint programming paradigm
収録刊行物
-
- Ann. Mathematics and Artificial Intelligence
-
Ann. Mathematics and Artificial Intelligence 25 241-273, 1999