Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).
Alexander SteenDavid FuenmayorPublished in: CoRR (2022)
Keyphrases
- fuzzy description logics
- semi automated
- automated theorem proving
- knowledge base
- knowledge representation
- reasoning systems
- fully automated
- reasoning tasks
- automated reasoning
- artificial intelligence
- rule based reasoning
- reasoning process
- spatial reasoning
- neural network
- database
- cooperative
- knowledge representation and reasoning
- multi agent
- deductive reasoning
- databases