Towards an answer set programming methodology for constructing programs following a semi-automatic approach.
Flavio EverardoMauricio OsorioPublished in: LANMR (2019)
Keyphrases
- semi automatic
- answer set programming
- answer sets
- stable model semantics
- logic programs
- answer set programs
- logic programming
- stable models
- answer set semantics
- fully automatic
- prolog programs
- declarative programming
- gold standard
- ontology engineering
- function symbols
- causal theories
- domain ontology
- semi automatically
- constraint logic programming
- fixpoint
- landmark extraction
- knowledge representation
- ontology mapping
- semantic annotation
- disjunctive logic programming
- haplotype inference
- constraint programming
- qualitative spatial and temporal reasoning
- wrapper generation
- artificial intelligence