Applications of Intuitionistic Logic in Answer Set Programming.
Mauricio OsorioJuan Antonio Navarro PérezJosé ArrazolaPublished in: Theory Pract. Log. Program. (2004)
Keyphrases
- answer set programming
- intuitionistic logic
- logic programming
- classical logic
- linear logic
- logic programs
- answer sets
- proof theoretic
- constraint logic programming
- reasoning tasks
- nonmonotonic reasoning
- natural deduction
- answer set programs
- programming language
- knowledge base
- tree decomposition
- knowledge representation
- deductive databases
- normal form
- logical framework
- default logic
- inductive logic programming
- database systems
- machine learning