Enabling Reasoning with LegalRuleML.

Ho-Pun Lam Mustafa Hashmi

Published in: CoRR (2017)

Keyphrases

reasoning process
knowledge representation
automated reasoning
meta level
model based reasoning
databases
similarity measure
inference engine
spatial reasoning
reasoning tasks
uncertain information
legal reasoning
approximate reasoning
consistency checking
knowledge processing
proof theory