A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming.
Vincenzo AmbriolaGiovanni A. CignoniLaura SeminiPublished in: Comput. Lang. (1996)
Keyphrases
- logic programming
- logic programs
- object orientation
- answer set programming
- nonmonotonic reasoning
- deductive databases
- logic programming language
- answer sets
- programming language
- knowledge representation
- knowledge base
- computational logic
- object oriented
- database management
- default logic
- stable models
- constraint logic programming
- background knowledge
- defeasible argumentation
- disjunctive logic programming