Specifying Logic Programs in Controlled Natural Language
Norbert E. FuchsRolf SchwitterPublished in: CoRR (1995)
Keyphrases
- logic programs
- controlled natural language
- logic programming
- semantic representation
- fixpoint
- answer set programming
- answer sets
- natural language
- stable models
- stable model semantics
- background knowledge
- partial deduction
- answer questions
- formal language
- normal logic programs
- computational properties
- strong equivalence
- logic program updates
- deductive databases
- prolog programs
- data mining
- functional programs
- general purpose
- expert systems
- recursive programs
- answer set programs
- artificial intelligence