Fixed Point Theorems in Logic Programming.
Mohamed A. KhamsiDriss MisanePublished in: Ann. Math. Artif. Intell. (1997)
Keyphrases
- logic programming
- fixed point
- fixed point theorem
- logic programs
- answer set programming
- deductive databases
- nonmonotonic reasoning
- sufficient conditions
- programming language
- knowledge representation
- linear logic
- belief propagation
- classical logic
- answer sets
- default logic
- reasoning tasks
- dynamical systems
- logic programming language
- knowledge base
- stable models
- artificial intelligence
- inductive logic programming
- software engineering
- possibilistic logic