News

Systems and Solving Techniques for Knowledge Representation and Reasoning