Contextual Norm-Based Plan Evaluation via Answer Set Programming.
Sofia PanagiotidiJavier Vázquez-SalcedaWamberto Weber VasconcelosPublished in: PAAMS (Special Sessions) (2012)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- reasoning tasks
- answer set programs
- causal theories
- contextual information
- constraint logic programming
- haplotype inference
- stable model semantics
- objective function
- fixpoint
- stable models
- disjunctive logic programming
- knowledge representation
- high level
- meta level reasoning