Language Independence and Language Tolerance in Logic Programs.
Norman McCainHudson TurnerPublished in: ICLP (1994)
Keyphrases
- logic programs
- logic programming
- programming language
- answer set programming
- fixpoint
- background knowledge
- answer sets
- natural language
- declarative semantics
- stable models
- functional programs
- model theoretic
- inductive logic programming
- term rewriting systems
- normal logic programs
- fixed point semantics
- operational semantics
- computational properties
- declarative programming