Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version.
Flavio EverardoMauricio OsorioPublished in: LANMR (Selected Papers) (2019)
Keyphrases
- semi automatic
- answer set programming
- answer sets
- revised version
- stable model semantics
- logic programs
- answer set programs
- stable models
- logic programming
- answer set semantics
- fully automatic
- declarative programming
- gold standard
- constraint logic programming
- prolog programs
- function symbols
- ontology engineering
- domain ontology
- fixpoint
- semi automatically
- ontology mapping
- labor intensive
- causal theories
- semantic annotation
- databases
- knowledge representation
- landmark extraction
- update semantics
- disjunctive logic programming
- derivation rules
- wrapper generation
- automatic construction
- natural language