Login / Signup
An Adaptation of Proof-Planning to Declarer Play in Bridge.
Ian Frank
David A. Basin
Alan Bundy
Published in:
ECAI (1992)
Keyphrases
</>
proof planning
concept formation
theorem proving
building intelligent
theorem prover
proof search
machine learning
knowledge representation
sufficient conditions
first order logic