Sign in

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).

Patrick DohertyJonas KvarnströmAndrzej Szalas
Published in: JELIA (2016)
Keyphrases
  • extended abstract
  • propositional logic
  • machine learning
  • artificial intelligence
  • state space
  • partial order
  • answer set programs