Combining Computer Algebra and Rule Based Reasoning.

Reinhard Bündgen

Published in: AISMC (1994)

Keyphrases

computer algebra
rule based reasoning
case based reasoning
theorem prover
inference mechanism
decision support system
artificial intelligence
expert systems
knowledge representation
formal semantics
reasoning tasks
automated theorem provers
databases