RASP and ASP as a fragment of linear logic.
Stefania CostantiniAndrea FormisanoPublished in: J. Appl. Non Class. Logics (2013)
Keyphrases
- linear logic
- answer set programming
- logic programming
- fixed point
- web applications
- proof theoretic
- logical framework
- sequent calculus
- proof search
- cut elimination
- desirable properties
- intuitionistic logic
- knowledge representation
- logic programs
- constraint logic programming
- machine learning
- nonmonotonic reasoning
- answer sets
- deductive databases
- utility function