An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions.
Arvind K. BansalLeon SterlingPublished in: FGCS (1988)
Keyphrases
- logic programming
- logic programs
- abstract interpretation
- deductive databases
- nonmonotonic reasoning
- logic programming language
- default logic
- answer set programming
- knowledge base
- computational logic
- answer sets
- programming language
- knowledge representation
- constraint logic programming
- stable models
- active rules
- termination analysis
- machine learning
- disjunctive logic programming
- natural language
- static analysis
- artificial intelligence