Finite Hilbert systems for Weak Kleene logics.

Vitor Greati Sérgio Marcelino Umberto Rivieccio

Published in: CoRR (2024)

Keyphrases

learning systems
machine learning
artificial intelligence
decision making
bayesian networks
management system
computational intelligence
complex systems
information systems
query language
intelligent systems
computer systems
knowledge based systems
expressive power
inference rules