A Logical Approach to Multi-Sources Reasoning.

Laurence Cholvy

Published in: Logic at Work (1992)

Keyphrases

information sources
multi source
spatial reasoning
reasoning systems
knowledge representation
automated reasoning
database
databases
real world
learning algorithm
decision making
website
default reasoning
meta level
probabilistic logic
computational properties