Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs.
Stefania CostantiniAlessandro ProvettiPublished in: GKR (2011)
Keyphrases
- answer sets
- logic programs
- graph representations
- logic programming
- answer set programming
- answer set semantics
- fixpoint
- normal logic programs
- answer set programs
- graph structure
- loop formulas
- stable models
- logic program updates
- graph kernels
- computational properties
- strong equivalence
- conflict resolution
- semantics for logic programs
- answer set solvers
- machine learning
- polynomial hierarchy
- counter examples
- truth values
- semantics of logic programs
- learning algorithm