LPAR

17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning