A general theory of confluent rewriting systems for logic programming and its applications.
Jürgen DixMauricio OsorioClaudia ZepedaPublished in: Ann. Pure Appl. Log. (2001)
Keyphrases
- general theory
- logic programming
- rewriting systems
- stable models
- logic programs
- answer set programming
- nonmonotonic reasoning
- rewriting rules
- deductive databases
- logic programming language
- programming language
- knowledge representation
- answer sets
- knowledge base
- morphological operators
- default logic
- fixpoint
- inductive logic programming
- artificial intelligence
- query language
- image analysis
- database systems