Generating Commonsense Ontologies with Answer Set Programming.
Stefan JakobAlexander JahlHarun BarakiKurt GeihsPublished in: ICAART (2) (2021)
Keyphrases
- answer set programming
- logic programming
- knowledge representation
- knowledge base
- answer sets
- logic programs
- constraint logic programming
- reasoning tasks
- causal theories
- semantic web
- expert systems
- answer set programs
- update semantics
- databases
- machine learning
- stable models
- disjunctive logic programming
- background knowledge
- orders of magnitude
- dl lite
- description logics
- search space
- high level
- modulo theories