Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.

Published in: Logica Universalis (2022)

Keyphrases

expert systems
intelligent systems
knowledge based systems
knowledge base
machine learning
case study
search engine
object oriented
data sets
computer vision
management system
distributed systems
temporal reasoning