Abstract Interpretation of Linear Logic Programming.
Jean-Marc AndreoliTiziana CastagnettiRemo PareschiPublished in: ILPS (1993)
Keyphrases
- logic programming
- logic programs
- abstract interpretation
- nonmonotonic reasoning
- logic programming language
- answer set programming
- programming language
- knowledge representation
- deductive databases
- computational logic
- knowledge base
- answer sets
- termination analysis
- stable models
- constraint logic programming
- reasoning about actions
- default logic
- information systems
- static analysis
- machine learning
- active rules
- reverse engineering
- model checking