De Finetti Coherence and Logical Consistency.

James M. Dickey Morris L. Eaton William D. Sudderth

Published in: Notre Dame J. Formal Log. (2009)

Keyphrases

consistency checking
three dimensional
multi agent
digital libraries
logical reasoning
databases
web services
multiscale
artificial neural networks
constraint networks
temporal consistency
logical structure
logical representation
logical rules