106
Voted
CORR
2002
Springer
15 years 23 days ago
2002
Springer
A. Tarski 21] proposed the study of in nitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations...
90
Voted
IJAR
2000
15 years 26 days ago
2000
Multiply sectioned Bayesian networks (MSBNs) provide a coherent and flexible formalism for representing uncertain knowledge in large domains. Global consistency among subnets in a...