arXiv 2000-06-30 EN Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing Piechowiak, S. · Rodriguez, J.
arXiv 2000-02-24 EN Genetic Algorithms for Extension Search in Default Logic Nicolas, P. · Saubion, F. · Stephan, I.
