Schockaert, Martine De Cock, and Etienne Kerre (all Ghent U., Belgium) seek the link between artificial intelligence and fuzzy set theory so they can be used together to reason about the kind of infor
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verif