Which among the following techniques are used for reasoning?

• A. Plan calculus
• B. Plan sequence
• C. Plan series
• D. Plan theory