Chasing Sets: How to Use Existential Rules for Expressive Reasoning.
David CarralIrina DragosteMarkus KrötzschChristian LewePublished in: IJCAI (2019)
Keyphrases
- rule based reasoning
- conflicting information
- logical rules
- production rules
- default rules
- meta rules
- inference engine
- uncertain information
- multi context systems
- knowledge base
- highly expressive
- knowledge representation
- rule based systems
- forward chaining
- reasoning systems
- rule sets
- case based reasoning
- derivation rules
- association rules
- computing least common subsumers
- reasoning mechanisms
- horn clauses
- domain knowledge
- decision trees
- backward chaining
- analogical reasoning
- reasoning process
- reasoning tasks
- rule base
- existentially quantified