Conquering the Meredith Single Axiom.

Published in: J. Autom. Reason. (2001)

Keyphrases

database
information systems

bayesian networks
optimal solution

object recognition
modal logic

inference rules