Abduction with Negation as Failure for Active and Reactive Rules.
Fariba SadriFrancesca ToniPublished in: AI*IA (1999)
Keyphrases
- logic programming
- background knowledge
- logic programs
- deductive databases
- horn clauses
- derivation rules
- extended logic programs
- active databases
- eca rules
- rule sets
- abductive reasoning
- production rules
- agent architecture
- association rule mining
- finite state machines
- data sets
- predicate logic
- decision rules
- event condition action
- neural network