Towards the Formalization of Fractional Calculus in Higher-Order Logic.

Umair Siddique Osman Hasan Sofiène Tahar

Published in: CoRR (2015)

Keyphrases

higher order logic
logical framework
higher order
theorem prover
conditional logic
inference rules
belief revision
formal model
first order logic
knowledge representation
decision trees
operational semantics
expert systems
high level
software engineering
default reasoning
reasoning tasks
data model