Predicates as Parameters in Logic Programming, A Set-Theoretic Basis.
James H. AndrewsPublished in: ELP (1989)
Keyphrases
- logic programming
- set theoretic
- logic programs
- image recovery
- deductive databases
- answer set programming
- logic programming language
- programming language
- nonmonotonic reasoning
- computational logic
- knowledge representation
- knowledge base
- stable models
- horn clause logic
- answer sets
- function symbols
- constraint logic programming
- inductive logic programming
- classical logic
- default logic
- fixpoint
- databases
- parameter estimation
- belief revision
- normal logic programs
- defeasible argumentation
- artificial intelligence