Sign in

An Entailment Procedure for Kleene Answer Set Programs.

Patrick DohertyAndrzej Szalas
Published in: MIWAI (2016)
Keyphrases
  • answer set programs
  • answer set programming
  • logic programming
  • answer sets
  • logic programs
  • propositional logic
  • machine learning
  • constraint satisfaction problems