Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.
Wlodzimierz DrabentJakob HenrikssonJan MaluszynskiPublished in: RR (2007)
Keyphrases
- derivation rules
- production rules
- logical rules
- rule based reasoning
- conflicting information
- rule based systems
- inference engine
- meta rules
- default rules
- uncertain information
- semantic constraints
- consistency checking
- reasoning mechanisms
- rule sets
- normal logic programs
- logic programming
- association rule mining
- logic programs
- knowledge representation
- multi context systems
- deductive databases
- knowledge representation and reasoning
- reasoning systems
- constraint satisfaction
- association rules
- reasoning process
- open world
- distributed constraint satisfaction
- knowledge base
- cardinal directions
- forward chaining
- data mining
- classification rules
- integrity constraints
- constraint programming