Applications of Intuitionistic Logic in Answer Set Programming
Mauricio OsorioJuan Antonio Navarro PérezJosé ArrazolaPublished in: CoRR (2003)
Keyphrases
- answer set programming
- intuitionistic logic
- logic programming
- classical logic
- linear logic
- logic programs
- answer sets
- constraint logic programming
- proof theoretic
- reasoning tasks
- nonmonotonic reasoning
- natural deduction
- answer set programs
- deductive databases
- tree decomposition
- programming language
- knowledge representation
- normal form
- knowledge base
- database
- default logic
- software engineering
- search algorithm
- high level
- machine learning