Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.
C. AquilanoRoberto BarbutiP. BocchettiMaurizio MartelliPublished in: J. Autom. Reason. (1986)
Keyphrases
- horn clauses
- evaluation process
- database queries
- fixpoint
- logic programs
- datalog programs
- first order logic
- evaluation model
- database
- evaluation criteria
- evaluation methodology
- inference rules
- query processing
- user queries
- inductive logic programming
- query formulation
- relevance feedback
- databases
- search queries
- query expansion
- logic programming
- web search
- query suggestion
- keywords
- software quality
- case study
- search engine
- neural network