Backdoors to the Tractability of Answer Set Programming

  title={Backdoors to the Tractability of Answer Set Programming},
  author={Johannes Klaus Fichte},
Reasoning is “the power of the mind to think, understand, and form judgments by a process of logic” (McKean 2001). In the late 1950s and 1960s researchers came up with the idea to express human knowledge with mathematical logic and to create a machine that can derive conclusions in the real world (McCarthy et al. 1955). In the early 1970s a logic programming system called Prolog was invented by Colmerauer and Roussel (1993) which describes a problem by means of facts and rules that form a logic… CONTINUE READING