Knowledge Representation, Reasoning and Declarative Problem Solving: Query answering and answer set computing systems