Complexity of fuzzy answer set programming under Łukasiewicz semantics.
Marjon BlondeelSteven SchockaertDirk VermeirMartine De CockPublished in: Int. J. Approx. Reason. (2014)
Keyphrases
- answer set programming
- logic programming
- stable model semantics
- reasoning tasks
- logic programs
- update semantics
- disjunctive logic programs
- disjunctive logic programming
- answer sets
- answer set semantics
- stable models
- constraint logic programming
- action language
- causal theories
- default theories
- polynomial hierarchy
- strong equivalence
- knowledge representation
- answer set programs
- qualitative spatial and temporal reasoning
- nonmonotonic reasoning
- programming language
- software engineering
- expert systems
- knowledge base