Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning.
Alexander SteenDavid FuenmayorPublished in: RuleML+RR (2022)
Keyphrases
- semi automated
- knowledge base
- knowledge representation
- reasoning systems
- automated theorem proving
- spatial reasoning
- genetic algorithm
- analogical reasoning
- reasoning process
- semi automatic
- fully automated
- reasoning tasks
- multi agent systems
- model based reasoning
- computer aided
- autonomous agents
- knowledge acquisition
- computational properties
- formal models
- case study
- resource bounded
- machine learning
- deductive reasoning