From Resolving Inconsistencies in Qualitative Constraints Networks to Identifying Robust Solutions: A Universal Encoding in ASP.

Moritz Bayerkuhnlein, Tobias Schwartz, Diedrich Wolter

Browse the full KI paper archive.