Optimizing a tableau reasoner and its implementation in Prolog.

Riccardo Zese Giuseppe Cota

Published in: J. Web Semant. (2021)

Keyphrases

knowledge base
computer vision
artificial intelligence
knowledge representation
description logics
efficient implementation
temporal reasoning
databases
neural network
social networks
logic programming
cloud computing
implementation details
functional programming