Standard Logics Are Valuation-Nonmonotonic

Mladen Pavicic Norman D. Megill

Published in: CoRR (2008)

Keyphrases

nonmonotonic logics
modal logic
expressive power
inference rules
databases
real world
knowledge representation
life cycle
multi context systems
artificial intelligence
database systems
multiscale
real option