Guarded Horn Clause Languages: Are They Deductive and Logical?
Carl HewittGul AghaPublished in: FGCS (1988)
Keyphrases
- horn clauses
- first order logic
- expressive power
- inference rules
- database languages
- inductive logic programming
- logic programs
- language independent
- database queries
- databases
- relational query languages
- logical theories
- object oriented
- text summarization
- query language
- background knowledge
- description logics
- co occurrence
- cross lingual
- general purpose
- decision trees
- artificial intelligence
- data mining