On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness.

Jan A. Bergstra John V. Tucker

Published in: Comput. J. (2023)

Keyphrases

case study
incomplete information
first order logic
knowledge base
real time
bayesian networks
formal language
natural deduction
provably correct
database
computational properties
action theories