Reduction Techniques for First-Order Reasoning.

François Bronsard Uday S. Reddy

Published in: CTRS (1992)

Keyphrases

higher order
reasoning systems
probabilistic logic
knowledge base
knowledge representation
reasoning process
probabilistic reasoning
spatial reasoning
decision diagrams
expert systems
knowledge based systems
default reasoning
qualitative reasoning
reduction method
reasoning mechanisms
stochastic dominance