Propositional Abduction with Implicit Hitting Sets

27 Apr 2016Alexey IgnatievAntonio MorgadoJoao Marques-Silva

Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.