A Revision-Theoretic Analysis of the Arithmetical Hierarchy.

Gian Aldo Antonelli

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

Keyphrases

theoretic analysis
belief revision
hierarchical structure
lower level
knowledge base
data sets
multiscale
expert systems
hierarchical organization
hierarchically organized