Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning.
Benjamin N. GrosofMichael KiferPaul FodorPublished in: RuleML+RR (Supplement) (2017)
Keyphrases
- highly expressive
- description logics
- predicate logic
- knowledge representation
- action theories
- first order logic
- semantic network
- defeasible logic
- knowledge base
- knowledge representation and reasoning
- production rules
- reasoning systems
- domain specific
- natural language
- initial state
- automated reasoning
- situation calculus
- higher level