Bag languages, concurrency, Horn logic programs, and linear logic.
Daniel E. CookeRichard DuranAnn Q. GatesVladik KreinovichPublished in: SEKE (1994)
Keyphrases
- logic programs
- linear logic
- logic programming
- horn clauses
- answer set programming
- stable models
- answer sets
- deductive databases
- nonmonotonic reasoning
- fixpoint
- expressive power
- np hard
- inductive logic programming
- sequent calculus
- partial deduction
- reasoning tasks
- logical framework
- classical logic
- fixed point
- database systems
- computational properties
- probabilistic reasoning
- default logic
- constraint logic programming
- normal logic programs
- model theoretic
- proof search
- knowledge base