Enabling reasoning with LegalRuleML.

Ho-Pun Lam Mustafa Hashmi

Published in: Theory Pract. Log. Program. (2019)

Keyphrases

reasoning systems
meta level
knowledge base
automated reasoning
analogical reasoning
multiscale
knowledge representation
qualitative reasoning
model based reasoning
resource bounded
logical reasoning
genetic algorithm
reasoning processes
rule based reasoning
plan execution
probabilistic logic
spatial reasoning