Dynamic Probability Logic: Decidability & Computability.

Somayeh Chopoghloo Mahdi Heidarpoor Massoud Pourmahdian

Published in: CoRR (2024)

Keyphrases

classical logic
website
expert systems
logic programming
probability theory
dynamically changing
databases
neural network
bayesian networks
query answering
quantum computation