Merging Information Under Constraints: A Logical Framework.

Sébastien Konieczny Ramón Pino Pérez

Published in: J. Log. Comput. (2002)

Keyphrases

logical framework
temporal information
artificial intelligence
high level
probabilistic model
belief revision
inference rules