A logic deduction of expanded means - end chains.
Chin-Feng LinHsien-Tang TsaiChen-Su FuPublished in: J. Inf. Sci. (2006)
Keyphrases
- modal logic
- intuitionistic logic
- theorem proving
- inference rules
- information retrieval
- automated reasoning
- logic programming
- real time
- data structure
- theorem prover
- logical framework
- automated theorem proving
- computer algebra
- relational databases
- information systems
- computer vision
- artificial intelligence
- classical logic
- proof procedure
- proof search