Proof Planning for Feature Interactions: A Preliminary Report.

Claudio Castellini Alan Smaill

Published in: LPAR (2002)

Keyphrases

feature interactions
proof planning
concept formation
theorem proving
building intelligent
theorem prover
proof search
inference rules
meta reasoning
artificial intelligence
pattern recognition
domain knowledge
intelligent agents
random variables
decision procedures