This is a preview. Log in through your library . Abstract We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a ...
Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...