Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness.
Ghica van Emde Boas-LubsenPeter van Emde BoasPublished in: SOFSEM (1998)
Keyphrases
- horn clauses
- first order logic
- inference rules
- inductive logic programming
- logic programs
- database queries
- business rules
- business processes
- business models
- information systems
- business process
- business intelligence
- data mining
- background knowledge
- electronic commerce
- knowledge representation
- decision rules
- probabilistic model
- pairwise
- association rules
- bayesian networks
- actionable knowledge