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

Umair Siddique Osman Hasan Sofiène Tahar

Published in: CICM (2015)

Keyphrases

higher order logic
logical framework
higher order
theorem prover
conditional logic
belief revision
knowledge representation
artificial intelligence
inference rules
description logics
fixed point
modal logic
formal model
object oriented
default reasoning
relational databases
computational complexity