Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies.
Mathias NiepertCameron BucknerColin AllenPublished in: FLAIRS Conference (2008)
Keyphrases
- answer set programming
- logic programming
- logic programs
- knowledge representation
- answer sets
- reasoning tasks
- constraint logic programming
- causal theories
- databases
- answer set programs
- stable model semantics
- semantic web
- disjunctive logic programming
- domain ontology
- np complete
- description logics
- lower bound
- artificial intelligence
- database