Weak AGM postulates and strong Ramsey Test: A logical formalization.

Laura Giordano Valentina Gliozzi Nicola Olivetti

Published in: Artif. Intell. (2005)

Keyphrases

logical framework
test data
logical language
decision making
image processing
decision trees
relational databases
artificial neural networks
data model
control system
default reasoning
logical representation