Intension, Quantified Beliefs and Epistemic Resolution.

Published in: ISMIS (1988)

Keyphrases

modal operators
belief revision
belief change
low resolution
database
decision making
high resolution
consequence finding
modal logic
description logics
website
belief functions
knowledge base
higher resolution
temporal resolution
learning algorithm
genetic algorithm