Contextual Logic of Change and the Ramification Problem.

Pedro A. de Matos João P. Martins

Published in: EPIA (1997)

Keyphrases

classical logic
contextual information
reasoning about actions
logic programming
modal logic
data sets
artificial intelligence
similarity measure
multi valued
propositional dynamic logic
real time
deductive reasoning
deontic logic
probabilistic logic
expressive power
multiscale
knowledge base