Theory Contraction and Base Contraction Unified.

Sven Ove Hansson

Published in: J. Symb. Log. (1993)

Keyphrases

belief change
computational model
theoretical framework
databases
neural network
artificial intelligence
digital libraries
mobile robot
belief revision
information retrieval
theoretical foundation
conceptual framework
decision theory
unified model