A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets.
Alexander SimkoPublished in: KDPD (2013)
Keyphrases
- answer sets
- answer set semantics
- extended logic programs
- logic programs
- normal logic programs
- logic programming
- answer set programming
- counter examples
- dl programs
- description logic programs
- answer set programs
- description logics
- strong equivalence
- defeasible logic
- fixpoint
- logic program updates
- loop formulas
- conflict resolution
- stable models
- incomplete information
- rule sets
- semantics for logic programs
- association rules
- expert systems
- machine learning
- production rules
- query evaluation
- natural language
- optimal solution