Sign in
Combining representation formalisms for reasoning upon mathematical knowledge.
Mathieu d'Aquin
Renata Bunoiu
Horatiu Cirstea
Michel Lenczner
Jean Lieber
Frédéric Zamkotsian
Published in:
K-CAP (2023)
Keyphrases
</>
representing knowledge
mathematical knowledge
knowledge representation
reasoning tasks
computational properties
knowledge base
artificial intelligence
reasoning problems
reasoning mechanisms
multimedia
computer software
probabilistic knowledge
knowledge representation formalisms