Dealing with explicit preferences and uncertainty in answer set programming.
Roberto ConfalonieriJuan Carlos NievesMauricio OsorioJavier Vázquez-SalcedaPublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- answer set programming
- logic programs
- answer sets
- logic programming
- answer set programs
- causal theories
- reasoning tasks
- constraint logic programming
- stable models
- stable model semantics
- haplotype inference
- action language
- declarative programming
- possibilistic logic
- soft constraints
- multi attribute
- possibility theory
- update semantics
- deductive databases
- constraint satisfaction
- programming language
- knowledge representation