On the Computation of Paracoherent Answer Sets.
Giovanni AmendolaCarmine DodaroWolfgang FaberNicola LeoneFrancesco RiccaPublished in: AAAI (2017)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- extended logic programs
- normal logic programs
- fixpoint
- answer set programs
- logic program updates
- machine learning
- evolutionary algorithm
- loop formulas
- counter examples
- knowledge base
- semantics of logic programs
- artificial intelligence